]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/logic/connectives.ma
...
[helm.git] / helm / software / matita / library / logic / connectives.ma
2009-06-03 Andrea Aspertinot_to_not
2009-05-25 Enrico Tassinasty change in the lexer/parser:
2009-04-29 Ferruccio Guidi- procedural: bugfix in "Barendregt convention" test
2009-04-16 Ferruccio GuidiProcedural: we corrected two errors about the handling...
2009-04-15 Ferruccio Guidi- transcript: bugfix
2008-06-09 Claudio Sacerdoti... Most of the time, URIs can now be replaced with identif...
2006-09-27 Claudio Sacerdoti... More work on the translation of technicalities/setoids.ma.
2006-07-27 maiorinoNotation for the existential quantifier moved to core_n...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/