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

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

8660901a99489499fc39a71e8d8b3eb749d7f4bb

-rw-r--r--	1278	CKQOWSA.hl	blob \| raw
-rw-r--r--	314	cyclic_definition.hl	blob \| raw
-rw-r--r--	7642	local_defs.hl	blob \| raw
-rw-r--r--	4743	local_defs2.hl	blob \| raw
-rw-r--r--	6148	local_fan.ml	blob \| raw

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