matita.cs.unibo.it Git - helm.git/tree

drwxr-xr-x		..
-rw-r--r--	109	Makefile	blob \| history \| raw
-rwxr-xr-x	320	export_contrib_theory.sh	blob \| history \| raw
-rwxr-xr-x	321	export_theory_theory.sh	blob \| history \| raw
-rwxr-xr-x	475	exporttheories.sh	blob \| history \| raw
-rw-r--r--	390	provacoq.v	blob \| history \| raw
-rw-r--r--	956	provacoqArith.v	blob \| history \| raw
-rw-r--r--	305	provacoqBool.v	blob \| history \| raw
-rw-r--r--	504	provacoqInit.v	blob \| history \| raw
-rw-r--r--	400	provacoqLists.v	blob \| history \| raw
-rw-r--r--	513	provacoqLogic.v	blob \| history \| raw
-rw-r--r--	624	provacoqReals.v	blob \| history \| raw
-rw-r--r--	1297	provacoqRelations.v	blob \| history \| raw
-rw-r--r--	1555	provacoqSets.v	blob \| history \| raw
-rw-r--r--	266	provacoqSorting.v	blob \| history \| raw
-rw-r--r--	83	provacoqTrees.v	blob \| history \| raw
-rw-r--r--	508	provacoqZArith.v	blob \| history \| raw
-rw-r--r--	266	provacoqcontribOmega.v	blob \| history \| raw
-rw-r--r--	469	provacoqcontribRing.v	blob \| history \| raw