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

drwxr-xr-x		..
-rw-r--r--	14788	auto_lib.hl	blob \| history \| raw
-rw-r--r--	15119	break_case_exec.hl	blob \| history \| raw
-rw-r--r--	781289	break_case_log.hl	blob \| history \| raw
-rw-r--r--	46971	calc_derivative.hl	blob \| history \| raw
-rw-r--r--	77034	check_completeness.hl	blob \| history \| raw
-rw-r--r--	14665	cleanDeriv.hl	blob \| history \| raw
-rw-r--r--	3523	cleanDeriv_examples.hl	blob \| history \| raw
-rw-r--r--	56331	compute_2158872499.hl	blob \| history \| raw
drwxr-xr-x	-	formal_tests	tree \| history
-rw-r--r--	13490	function_list.hl	blob \| history \| raw
-rw-r--r--	46857	functional_equation.hl	blob \| history \| raw
-rw-r--r--	111407	ineq.hl	blob \| history \| raw
-rw-r--r--	83471	ineqdata3q1h.hl	blob \| history \| raw
-rw-r--r--	55455	lemma.hl	blob \| history \| raw
-rw-r--r--	43058	main_estimate_ineq.hl	blob \| history \| raw
-rw-r--r--	208397	merge_ineq.hl	blob \| history \| raw
-rw-r--r--	5407	mk_all_ineq.hl	blob \| history \| raw
-rw-r--r--	20203	nonlin_def.hl	blob \| history \| raw
-rw-r--r--	39427	optimize.hl	blob \| history \| raw
-rw-r--r--	23107	parse_ineq.hl	blob \| history \| raw
-rwxr-xr-x	1244440	prep.hl	blob \| history \| raw
-rw-r--r--	15972	scripts.hl	blob \| history \| raw
-rw-r--r--	1236	sharp.hl	blob \| history \| raw
-rw-r--r--	5592	types.hl	blob \| history \| raw
-rw-r--r--	2712	vukhacky_tactics.hl	blob \| history \| raw