]> matita.cs.unibo.it Git - helm.git/tree
dd8277af8df6d96aee92a6fbfd1516f2d819c6b1
-rw-r--r-- 366 and_implies_or.cic
-rw-r--r-- 253 and_implies_or2.cic
-rw-r--r-- 615 apply.cic
-rw-r--r-- 896 bug.cic
-rw-r--r-- 577 calcolo_proposizioni.cic
-rw-r--r-- 711 conversion.cic
-rw-r--r-- 499 elim.cic
-rw-r--r-- 1497 elim2.cic
-rw-r--r-- 1661 evars.cic
-rw-r--r-- 1148 fourier.cic
-rw-r--r-- 588 prova.cic
-rw-r--r-- 165 rewrite.cic
drwxr-xr-x - ring
-rw-r--r-- 556 sets.cic
-rw-r--r-- 127 various.cic