matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 7 Dec 2012 16:36:51 +0000 (16:36 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 7 Dec 2012 16:36:51 +0000 (16:36 +0000)
commit	dbd9f7d4de8286fdd54f4b5609576f33db1050a6
tree	3b33924699158210224d5f032a0e507d0219c9b3	tree \| snapshot
parent	716338697e54d7a7e3602aabdecc2a8a639d683e	commit \| diff

- pts_dummy/pts_dummy_new: non compiling parts commented out
- tutorial: some comments added

43 files changed:

matita/matita/lib/pts_dummy/CC2FO_K.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/CC2FO_K_cube.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/arity.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/arity_eval.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/convertibility.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/cube.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/degree.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/ext.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/ext_lambda.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/inversion.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/lift.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/par_reduction.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/rc_eval.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/rc_hsat.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/rc_sat.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/reduction.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/sn.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/subject.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/subst.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/subterms.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/terms.ma		diff \| blob \| history
matita/matita/lib/pts_dummy/types.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/arity.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/arity_eval.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/convertibility.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/cube.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/ext.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/ext_lambda.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/inversion.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/par_reduction.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/rc_eval.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/rc_hsat.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/rc_sat.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/reduction.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/sn.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/subject.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/subst.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/subterms.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/terms.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/thinning.ma		diff \| blob \| history
matita/matita/lib/pts_dummy_new/types.ma		diff \| blob \| history
matita/matita/lib/tutorial/chapter6.ma		diff \| blob \| history
matita/matita/lib/tutorial/chapter7.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom