]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 684b3fd) | patch
- split logic operators away from aritmetic ones so that
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Apr 2004 14:11:51 +0000 (14:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Apr 2004 14:11:51 +0000 (14:11 +0000)
commita96ac1d9b14c89392c5672fb94944363ced625b8
tree4e709aff38961291890b9645bb965167706c8a2btree | snapshot
parent684b3fd81dd1bdeef05ff5a01ad07f73e980b494commit | diff
- split logic operators away from aritmetic ones so that
   \forall n:nat. n > 0 \or n = 0
  is parsed "correctly"
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_disambiguation/logic_notation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.