Index of /~panitz/logik/v200509/src

	Name	Last modified	Size	Description
	Parent Directory		-
	Fun.java	2009-05-22 16:42	697
	Paar.java	2009-05-22 16:42	118
	Substitution.java	2009-05-22 16:42	3.1K
	Term.java	2009-05-22 16:42	54
	Var.java	2009-05-22 16:42	245