]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4665bc) | patch
degree.ma: we defined the "degree" of a term, which is meaningful in
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 May 2011 12:19:11 +0000 (12:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 May 2011 12:19:11 +0000 (12:19 +0000)
commita9355590f890b133763a1593fa706c0631e2c241
tree209ba26d308a18b5e041f0cf09a1a48eb3f53220tree | snapshot
parentf4665bcba9c87ecced8746f08da717c767b1a839commit | diff
degree.ma: we defined the "degree" of a term, which is meaningful in
the lambda-cube
matita/matita/lib/lambda/degree.ma [new file with mode: 0644] blob
matita/matita/lib/lambda/ext_lambda.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.