]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65312e5) | patch
() around tactic terms
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Nov 2005 11:25:00 +0000 (11:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Nov 2005 11:25:00 +0000 (11:25 +0000)
commitb3f74fab711510628cff64aff3e48e73cc9f6e09
treefcce5d3f69f0ea7dbe12cda1a37d50c8a3689f61tree | snapshot
parent65312e560c25b49336241762107e401e7f9c5c3ccommit | diff
() around tactic terms
helm/matita/library/nat/chinese_reminder.ma diff | blob | history
helm/matita/library/nat/congruence.ma diff | blob | history
helm/matita/library/nat/count.ma diff | blob | history
helm/matita/library/nat/gcd.ma diff | blob | history
helm/matita/library/nat/minus.ma diff | blob | history
helm/matita/library/nat/totient.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.