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

drwxr-xr-x		..
-rw-r--r--	52020	definitions_kepler.ml	blob \| history \| raw
-rw-r--r--	23307	definitions_keplerC.ml	blob \| history \| raw
-rw-r--r--	4932	dodec_ineq_names.ml	blob \| history \| raw
-rw-r--r--	13155	dodec_inequalities.ml	blob \| history \| raw
-rw-r--r--	1429	generate-ineq-syntax.ml	blob \| history \| raw
-rw-r--r--	20002	inequality_spec.ml	blob \| history \| raw
-rw-r--r--	19119	kep_deprecated.ml	blob \| history \| raw
-rw-r--r--	12377	kep_ineq_bis.ml	blob \| history \| raw
-rw-r--r--	379024	kep_inequalities.ml	blob \| history \| raw
-rw-r--r--	37113	kep_inequalities2.ml	blob \| history \| raw
-rw-r--r--	58448	kepler_ineq_names.ml	blob \| history \| raw
-rw-r--r--	31983	ocaml_to_sml.ml	blob \| history \| raw
-rw-r--r--	1302	sigmahat.hl	blob \| history \| raw
-rw-r--r--	23912	sphere.ml	blob \| history \| raw