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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 16 Apr 2019 21:11:59 +0000 (23:11 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 16 Apr 2019 21:11:59 +0000 (23:11 +0200)
commit	31be09cc0d040577917783e050e1d38c0daa8f01
tree	1afd37660708903697e729ba99d683da2bee1afd	tree \| snapshot
parent	bf2b1df641df98a3b614a8c3d53edee8beb0964a	commit \| diff

milestone in basic_2 with additions in static_2

+ validity is decidable
+ some renaming
+ batch compilation handles each specification separately
otherwise matitac opens too many files

43 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpes_dec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpme.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpue.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_eval.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve_cpes.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prediteval_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/preditnormal_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtywhead_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_cnu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_cwhx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpue.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpue_csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpcs_csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpes_cprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnr_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu_cnr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu_cnr_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu_cnu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu_lifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnu_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_tueq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cwhx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cwhx_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cwhx_rdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/compile_partial.sh		diff \| blob \| history
matita/matita/contribs/lambdadelta/partial.txt	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/approxeq_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tueq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/tueq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/tueq_tueq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom