]> matita.cs.unibo.it Git - helm.git/commit
Notation is finally fully working everywhere.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Jan 2007 17:33:22 +0000 (17:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Jan 2007 17:33:22 +0000 (17:33 +0000)
commitd8d87f227a8abb5cb324c6e8c6bf66ee83ead553
treeb8ff5bb1d225770ef63a1b18922981de90e70955
parent3d357d5f7b2eeec9c795087ea1b329761cd966d5
Notation is finally fully working everywhere.
What a great day!
helm/software/matita/dama/fields.ma
helm/software/matita/dama/integration_algebras.ma
helm/software/matita/dama/ordered_sets.ma
helm/software/matita/dama/reals.ma