]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_textual_parser/cicTextualParser.mly
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0195d58) | patch
There were a big bug in both Fix and CoFix: the recursive functions were
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jan 2002 18:25:37 +0000 (18:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jan 2002 18:25:37 +0000 (18:25 +0000)
commitf58a80f4ad1aaf26eecb7a8fb7ebef436fb0967a
tree243b66d60de85c6fd268446fd145c5b3440e621ftree | snapshot
parent0195d58340f7dbc852d380a8fee897e1c1f7da03commit | diff
There were a big bug in both Fix and CoFix: the recursive functions were
not bounded in the bodies.

Fix and CoFix syntax changed to a less natural, but easier to parse one.
The above bug has been fixed.
helm/ocaml/cic_textual_parser/cicTextualParser.mly diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.