Index of /~panitz/logik/v200509/bin

	Name	Last modified	Size	Description
	Parent Directory		-
	Fun.class	2009-05-22 16:42	1.8K
	Paar.class	2009-05-22 16:42	599
	Substitution.class	2009-05-22 16:42	4.6K
	Term.class	2009-05-22 16:42	130
	Var.class	2009-05-22 16:42	611