]> matita.cs.unibo.it Git - helm.git/commit
Axioms are not allowed with the syntax: "axiom name: type.".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 May 2006 10:24:34 +0000 (10:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 May 2006 10:24:34 +0000 (10:24 +0000)
commit9c9e979d4c45cf3b1ee01688b2c36fe49190ce98
tree945d70c69a24be4ef7b06eb8b930172726c4a0d0
parentb0579023fb1c63d8004726d7a5a6a8f1c4f30f2d
Axioms are not allowed with the syntax: "axiom name: type.".
helm/software/components/acic_content/cicNotationPp.ml
helm/software/components/acic_content/cicNotationPt.ml
helm/software/components/cic/cic.ml
helm/software/components/cic/cicParser.ml
helm/software/components/cic_acic/cic2Xml.ml
helm/software/components/cic_disambiguation/disambiguate.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/library/librarySync.ml
helm/software/matita/matita.lang