colo12-c703.uibk.ac.at Git - hl193./.git/tree

drwxr-xr-x		..
-rw-r--r--	24016	arithprov.ml	blob \| history \| raw
-rw-r--r--	28449	definability.ml	blob \| history \| raw
-rw-r--r--	40300	derived.ml	blob \| history \| raw
-rw-r--r--	22239	fol.ml	blob \| history \| raw
-rw-r--r--	24276	godel.ml	blob \| history \| raw
-rw-r--r--	1270	make.ml	blob \| history \| raw
-rw-r--r--	3892	pa.ml	blob \| history \| raw
-rw-r--r--	32484	sigmacomplete.ml	blob \| history \| raw
-rw-r--r--	14703	tarski.ml	blob \| history \| raw