git.megacz.com Git - coq-hetmet.git/tree

drwxr-xr-x		..
-rw-r--r--	3052	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	2201	Extraction.v	blob \| history \| raw
-rw-r--r--	17172	General.v	blob \| history \| raw
-rw-r--r--	2813	HaskCore.v	blob \| history \| raw
-rw-r--r--	7054	HaskCoreToWeak.v	blob \| history \| raw
-rw-r--r--	3302	HaskCoreTypes.v	blob \| history \| raw
-rw-r--r--	1092	HaskCoreVars.v	blob \| history \| raw
-rw-r--r--	4852	HaskGeneral.v	blob \| history \| raw
-rw-r--r--	4874	HaskLiterals.v	blob \| history \| raw
-rw-r--r--	14069	HaskProof.v	blob \| history \| raw
-rw-r--r--	9007	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	4607	HaskStrong.v	blob \| history \| raw
-rw-r--r--	22574	HaskStrongTypes.v	blob \| history \| raw
-rw-r--r--	9738	HaskWeak.v	blob \| history \| raw
-rw-r--r--	5653	HaskWeakToCore.v	blob \| history \| raw
-rw-r--r--	3164	HaskWeakVars.v	blob \| history \| raw
-rw-r--r--	649	Main.v	blob \| history \| raw
-rw-r--r--	21682	NaturalDeduction.v	blob \| history \| raw
-rw-r--r--	5199	NaturalDeductionToLatex.v	blob \| history \| raw
-rw-r--r--	8542	Preamble.v	blob \| history \| raw