]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a56298) | patch
Bug fixed for theorems whose statement are like
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Mar 2004 13:39:23 +0000 (13:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Mar 2004 13:39:23 +0000 (13:39 +0000)
commit7fb6c1dba9a3cc1285344262d73f6ce11ee96a9e
tree052c1d132d8af4eececcaa20714047c5f9d5d452tree | snapshot
parent9a56298c7e6cfd34830ab40393b880f5a678e98dcommit | diff
Bug fixed for theorems whose statement are like

((A -> B) -> C) -> D
helm/metadata/extractor/meta_lex.l diff | blob | history
helm/metadata/extractor/meta_lex_ind.l diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.