]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 400b07e) | patch
Added an example (well founded recursion).
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 9 Nov 2005 11:06:26 +0000 (11:06 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 9 Nov 2005 11:06:26 +0000 (11:06 +0000)
commit8a4dae57d41a2000778341240c823287eb15bb35
tree1106b8d16d1b2ab2ff3b71e4f34bbe48a6eb81a8tree | snapshot
parent400b07e007cfbb0b4ce5ed77cfc50f227c491310commit | diff
Added an example (well founded recursion).
helm/papers/system_T/t.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.