]> matita.cs.unibo.it Git - helm.git/commit
() 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
treefcce5d3f69f0ea7dbe12cda1a37d50c8a3689f61
parent65312e560c25b49336241762107e401e7f9c5c3c
() around tactic terms
helm/matita/library/nat/chinese_reminder.ma
helm/matita/library/nat/congruence.ma
helm/matita/library/nat/count.ma
helm/matita/library/nat/gcd.ma
helm/matita/library/nat/minus.ma
helm/matita/library/nat/totient.ma