]> matita.cs.unibo.it Git - helm.git/commit
Porting to intermediate syntax.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Oct 2010 21:06:18 +0000 (21:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Oct 2010 21:06:18 +0000 (21:06 +0000)
commit49d54d812c6db393b99fe15fca1e0b6b52570c8a
tree54cbbef94849ce8e893ebb319aeff77414ffe66c
parent363029e1896e843adc102d4fda4b2f4ac434eaa9
Porting to intermediate syntax.
matita/matita/nlibrary/Plogic/equality.ma
matita/matita/nlibrary/algebra/bool.ma
matita/matita/nlibrary/datatypes/bool.ma
matita/matita/nlibrary/hints_declaration.ma