]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72a91e9) | patch
More opcodes (badly) implemented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 17:58:08 +0000 (17:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 17:58:08 +0000 (17:58 +0000)
commitd5b35580a638f128953dff2fef5e389a589917b5
treec9a75dd0624c821744d22629f4991aa81ba48d01tree | snapshot
parent72a91e9bdd1a8c1a3f12522ec9acec4f53afe345commit | diff
More opcodes (badly) implemented.
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.