]> matita.cs.unibo.it Git - helm.git/tree - matita/contribs/POPLmark/Fsub/
matita 0.5.1 tagged 0.5.1
[helm.git] / matita / contribs / POPLmark / Fsub /
drwxr-xr-x   ..
-rw-r--r-- 84915 adeq.ma
-rw-r--r-- 15323 defn.ma
-rw-r--r-- 14724 defn2.ma
-rw-r--r-- 6155 part1a.ma
-rw-r--r-- 7069 part1a_inversion.ma
-rw-r--r-- 6577 part1a_inversion2.ma
-rw-r--r-- 5512 part1a_inversion3.ma
-rw-r--r-- 2069 util.ma