]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 714c62d) | patch
removed orders_op from library (now in le_arith and lt_arith).
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 28 Jul 2005 10:21:46 +0000 (10:21 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 28 Jul 2005 10:21:46 +0000 (10:21 +0000)
commitd82900f9e0850c9015ca7f5d226831c85fe073a8
treec1e4353a8c2581a4753c14db715312acb84b3196tree | snapshot
parent714c62d2ce92de894c4f81220dbbfca2dcced516commit | diff
removed orders_op from library (now in le_arith and lt_arith).
helm/matita/library/nat/orders_op.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.