]> matita.cs.unibo.it Git - helm.git/tree - helm/gTopLevel/esempi/
...
[helm.git] / helm / gTopLevel / esempi /
drwxr-xr-x   ..
-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-- 297 decompose.cic
-rw-r--r-- 499 elim.cic
-rw-r--r-- 1678 elim2.cic
-rw-r--r-- 1661 evars.cic
-rw-r--r-- 1167 fourier.cic
drwxr-xr-x - fourier
-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