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

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