]> matita.cs.unibo.it Git - helm.git/commit
sottotermini e confluenza (manca pr_substs).
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 7 Mar 2011 07:29:04 +0000 (07:29 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 7 Mar 2011 07:29:04 +0000 (07:29 +0000)
commitfb9f80d2fb30216cc0754e8e8d09206f3e3e7bb7
treef9857b3407f53906870ceb407044dc7db3a34312
parentadc2a5bba9b4b907fdc1eb8ad443c97e3fdc7bd0
sottotermini e confluenza (manca pr_substs).
matita/matita/lib/lambda/reduction.ma [new file with mode: 0644]
matita/matita/lib/lambda/subterms.ma [new file with mode: 0644]