]> matita.cs.unibo.it Git - helm.git/tree
b30421907560f13f3f9ddfc14149ab665b1896c9
-rw-r--r-- 2606 boolean.ma
-rw-r--r-- 2475 booleanized.ma
-rw-r--r-- 2453 carrier.ma
-rw-r--r-- 7122 relocating_substitution.ma
-rw-r--r-- 10310 relocation.ma
-rw-r--r-- 3119 subterms.ma