]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c59d506) | patch
added sample of guarded by in which coq is stronger
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 15 Apr 2008 10:47:29 +0000 (10:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 15 Apr 2008 10:47:29 +0000 (10:47 +0000)
commitb3bab2595bed1c47b0253b3ee27f70957977fa37
treef5e1a487835dfe253b10dd96ace680d629ef22a9tree | snapshot
parentc59d5065faea77ce41431e273a3331f4d152fbfacommit | diff
added sample of guarded by in which coq is stronger
helm/software/matita/tests/fix_che_non_passa_ma_dovrebbe.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.