]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c482297) | patch
- terms.ma: we included 'is_dummy" and "neutral" (maybe "is_neutral
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Mar 2011 21:31:24 +0000 (21:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Mar 2011 21:31:24 +0000 (21:31 +0000)
commitf3091151495bc605ce2022e55741f6420f708d8e
treeeef9ecdd0908f079c6cdb65cab9a6b2413585196tree | snapshot
parentc482297de03ebaea8d745a92237d24556273fb53commit | diff
- terms.ma: we included 'is_dummy" and "neutral" (maybe "is_neutral
would be better)
- sn.ma rc_sat.ma: we introduced the axioms for dummy
matita/matita/lib/lambda/ext_lambda.ma diff | blob | history
matita/matita/lib/lambda/rc_sat.ma diff | blob | history
matita/matita/lib/lambda/sn.ma diff | blob | history
matita/matita/lib/lambda/terms.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.