]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 186c117) | patch
Procedural: we added the support for theorem flavours and we fixed the handling ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 Jul 2008 15:02:49 +0000 (15:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 Jul 2008 15:02:49 +0000 (15:02 +0000)
commit8eff703769b4ed115d71817d4c0c9628de5295a7
tree052ed585329e97c3194c296271db9b1c3a793f0ctree | snapshot
parent186c1171d37f5d1cde9bb6f38a863be16debf3f0commit | diff
Procedural: we added the support for theorem flavours and we fixed the handling             of unexpected proof constructions
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralTypes.ml diff | blob | history
helm/software/components/acic_procedural/proceduralTypes.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.