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

	Name	Last modified	Size	Description
	Parent Directory		-
	Pair.java	2013-06-10 17:22	157
	Term.java	2013-06-10 17:22	160
	Pl1.java	2013-06-10 17:22	213
	Unificator.java	2013-06-10 17:22	351
	Var.java	2013-06-10 17:22	596
	Exists.java	2013-06-10 17:22	652
	ForAll.java	2013-06-10 17:22	652
	Or.java	2013-06-10 17:22	697
	And.java	2013-06-10 17:22	705
	Impl.java	2013-06-10 17:22	710
	Neg.java	2013-06-10 17:22	1.1K
	Fun.java	2013-06-10 17:22	1.2K
	Atom.java	2013-06-10 17:22	1.2K
	Unification.java	2013-06-10 17:22	2.3K