]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aca103d) | patch
let rec example
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 25 May 2005 15:11:59 +0000 (15:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 25 May 2005 15:11:59 +0000 (15:11 +0000)
commitfa12508ec9af00a9182e30d747884c0425a807c3
treec59756cb37fb3bad0f2329521e7a8cf25ca62649tree | snapshot
parentaca103d3c3d740efcc0bcc2932922cff77facb49commit | diff
let rec example
helm/matita/tests/letrec.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.