]> 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)
commitba48c24f4edb0701a0aa346466f2a4211f719ab2
treebe90ea4ee3cd61b6f0c35c81e06d6a2b3fab2168
parent970368c6bbd8c4bfd5bbea81b605d6385558de72
Axioms are not allowed with the syntax: "axiom name: type.".
components/acic_content/cicNotationPp.ml
components/acic_content/cicNotationPt.ml
components/cic/cic.ml
components/cic/cicParser.ml
components/cic_acic/cic2Xml.ml
components/cic_disambiguation/disambiguate.ml
components/grafite_parser/grafiteParser.ml
components/library/librarySync.ml
matita/matita.lang