]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f848c99) | patch
Added examples.
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 2 Jul 2002 09:26:09 +0000 (09:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 2 Jul 2002 09:26:09 +0000 (09:26 +0000)
commitfde1a6daa3aaa72c5c7536f4d2c65a3873b1c1bc
tree851e71e839c55c00df604bb91c1aa12865181923tree | snapshot
parentf848c99a78351881e99e5af6c7daab6b0c05f4b2commit | diff
Added examples.
29 files changed:
helm/gTopLevel/esempi/and_implies_or.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/and_implies_or2.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/apply.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/bug.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/calcolo_proposizioni.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/conversion.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/elim.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/elim2.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/evars.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/prova.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/0eq0.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/aliases.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/caso0.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/caso1.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/caso2.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/caso3.1.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/caso3.1bis.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/caso3.2.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/caso3.3.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/coq_overkill_helm_rulez.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/novarmap.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/novarmap_tofinish.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/varmap.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/varmap2.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/varmap_trivial.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/varmap_trivial2.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/varmap_trivial3.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/ring/varmap_trivial_molte_variabili.cic [new file with mode: 0644] blob
helm/gTopLevel/esempi/sets.cic [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.