]> matita.cs.unibo.it Git - helm.git/tree
7e6525bc5b0e2baa509ef36b91d9cb74ffd601fb
-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