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

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

f5c5a15709492d12f497f17eeae1dd357808ce6a

-rw-r--r--	1196	isalight.ml	blob \| raw
-rw-r--r--	1701	make.ml	blob \| raw
-rw-r--r--	55879	meta_rules.ml	blob \| raw
-rw-r--r--	17951	new_tactics.ml	blob \| raw
-rw-r--r--	11955	support.ml	blob \| raw

Unnamed repository; edit this file 'description' to name the repository.