]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53c5744) | patch
some theorem names changed.
authorCristian Armentano <??>
Tue, 11 Sep 2007 14:25:35 +0000 (14:25 +0000)
committerCristian Armentano <??>
Tue, 11 Sep 2007 14:25:35 +0000 (14:25 +0000)
commitd00c40ed72c98a6d6941e81ea16e234903996b07
tree80c62e235dbc1f295b66033f81ab14cf8c8be794tree | snapshot
parent53c57446be6916c1f4c450e8a9de07f8448a26aecommit | diff
some theorem names changed.
helm/software/matita/library/nat/gcd_properties1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.