]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbd81dc) | patch
Chapter 1 revisited
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 27 Feb 2013 16:48:15 +0000 (16:48 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 27 Feb 2013 16:48:15 +0000 (16:48 +0000)
commit286a98aeb02ee44311b8007a10b8329bbf986577
treec0a83666d5af621ab969f37e8c597cdf534b843etree | snapshot
parentcbd81dcc1ca77e8bbd0ca5262ffbb1a09d2a5508commit | diff
Chapter 1 revisited
matita/matita/lib/tutorial/chapter1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.