Index of /~panitz/logik/unification/bin/name/panitz/uni

	Name	Last modified	Size	Description
	Parent Directory		-
	Var.class	2013-06-10 17:22	1.2K
	Unificator.class	2013-06-10 17:22	1.4K
	Unification.class	2013-06-10 17:22	4.1K
	Term.class	2013-06-10 17:22	317
	Pl1.class	2013-06-10 17:22	362
	Pair.class	2013-06-10 17:22	657
	Or.class	2013-06-10 17:22	1.3K
	Neg.class	2013-06-10 17:22	1.9K
	Impl.class	2013-06-10 17:22	1.5K
	Fun.class	2013-06-10 17:22	2.5K
	ForAll.class	2013-06-10 17:22	1.4K
	Exists.class	2013-06-10 17:22	1.4K
	Atom.class	2013-06-10 17:22	2.7K
	And.class	2013-06-10 17:22	1.3K