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

drwxr-xr-x		..
-rw-r--r--	85898	asym.ml	blob \| history \| raw
-rw-r--r--	1069	basic.ml	blob \| history \| raw
-rw-r--r--	20301	condense.ml	blob \| history \| raw
-rw-r--r--	1530	condense_thms.ml	blob \| history \| raw
-rw-r--r--	9566	dedmatrix.ml	blob \| history \| raw
-rw-r--r--	3636	dedmatrix_thms.ml	blob \| history \| raw
-rw-r--r--	9637	defs.ml	blob \| history \| raw
-rw-r--r--	39494	examples.ml	blob \| history \| raw
-rw-r--r--	9009	inferisign.ml	blob \| history \| raw
-rw-r--r--	27789	inferisign_thms.ml	blob \| history \| raw
-rw-r--r--	13281	inferpsign.ml	blob \| history \| raw
-rw-r--r--	11780	inferpsign_thms.ml	blob \| history \| raw
-rw-r--r--	4862	lift_qelim.ml	blob \| history \| raw
-rw-r--r--	721	list_rewrites.ml	blob \| history \| raw
-rw-r--r--	8083	main_thms.ml	blob \| history \| raw
-rw-r--r--	1558	make.ml	blob \| history \| raw
-rw-r--r--	3782	matinsert.ml	blob \| history \| raw
-rw-r--r--	129	matinsert_thms.ml	blob \| history \| raw
-rw-r--r--	1830	num_calc_simp.ml	blob \| history \| raw
-rw-r--r--	3448	pdivides.ml	blob \| history \| raw
-rw-r--r--	1390	pdivides_thms.ml	blob \| history \| raw
-rw-r--r--	26812	poly_ext.ml	blob \| history \| raw
-rw-r--r--	1782	rewrites.ml	blob \| history \| raw
-rw-r--r--	16740	rol.ml	blob \| history \| raw
-rw-r--r--	3725	rqe_lib.ml	blob \| history \| raw
-rw-r--r--	6826	rqe_list.ml	blob \| history \| raw
-rw-r--r--	23491	rqe_main.ml	blob \| history \| raw
-rw-r--r--	892	rqe_num.ml	blob \| history \| raw
-rw-r--r--	11887	rqe_real.ml	blob \| history \| raw
-rw-r--r--	8428	rqe_tactics_ext.ml	blob \| history \| raw
-rw-r--r--	11603	signs.ml	blob \| history \| raw
-rw-r--r--	3734	signs_thms.ml	blob \| history \| raw
-rw-r--r--	5180	simplify.ml	blob \| history \| raw
-rw-r--r--	9679	testform.ml	blob \| history \| raw
-rw-r--r--	7227	testform_thms.ml	blob \| history \| raw
-rw-r--r--	2491	timers.ml	blob \| history \| raw
-rw-r--r--	3041	util.ml	blob \| history \| raw
-rw-r--r--	288793	work_thms.ml	blob \| history \| raw