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

drwxr-xr-x		..
-rw-r--r--	8639	compute_pi.hl	blob \| history \| raw
-rw-r--r--	77501	float.hl	blob \| history \| raw
-rw-r--r--	2532	float_example.hl	blob \| history \| raw
-rw-r--r--	1526	flyspeck_constants.hl	blob \| history \| raw
-rw-r--r--	4899	goal_printer.hl	blob \| history \| raw
-rw-r--r--	3149	hash_term.hl	blob \| history \| raw
-rw-r--r--	2784	lib_ext.hl	blob \| history \| raw
-rw-r--r--	1385	make.hl	blob \| history \| raw
-rw-r--r--	48431	misc_defs_and_lemmas.hl	blob \| history \| raw
-rw-r--r--	8622	num_ext_gcd.hl	blob \| history \| raw
-rw-r--r--	4749	num_ext_nabs.hl	blob \| history \| raw
-rw-r--r--	8921	parse_ext_override_interface.hl	blob \| history \| raw
-rw-r--r--	13360	real_ext.hl	blob \| history \| raw
-rw-r--r--	2384	real_ext_geom_series.hl	blob \| history \| raw
-rw-r--r--	2882	refinement.hl	blob \| history \| raw
-rw-r--r--	55946	tactics_jordan.hl	blob \| history \| raw
-rw-r--r--	28185	taylor_atn.hl	blob \| history \| raw