]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bbf272) | patch
Added typing rule for dummies
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 10 Feb 2011 12:19:56 +0000 (12:19 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 10 Feb 2011 12:19:56 +0000 (12:19 +0000)
commit45c95bf073c4f4b422fbf9ca9497d03a17e3746e
tree02e2dea34d80226f336fa6736f3510cb889774ddtree | snapshot
parent6bbf27282bad84e066bb952e41dbc8f72b31de6ccommit | diff
Added typing rule for dummies
matita/matita/lib/lambda/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.