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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 7 Jan 2012 19:29:46 +0000 (19:29 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 7 Jan 2012 19:29:46 +0000 (19:29 +0000)
commit	b5a168bec5e813258c510a1f2a00ce9f57ecee5a
tree	496bc410b1cab5447bdb33c355799ea7da5febb0	tree \| snapshot
parent	7e6643f9ce7ae87e9241aeac5b6d828e9d47fb63	commit \| diff

lambda_delta: global environments handling: redefined and first results
rtm: first definitions
lib/arithmetics/nat: a missing lemma added
predefined_virtuals: we added circled numbers, circled letters and
other characters
depend, depend.opt: regenerated

54 files changed:

matita/components/content/.depend		diff \| blob \| history
matita/components/content/.depend.opt		diff \| blob \| history
matita/components/content_pres/.depend		diff \| blob \| history
matita/components/content_pres/.depend.opt		diff \| blob \| history
matita/components/disambiguation/.depend		diff \| blob \| history
matita/components/disambiguation/.depend.opt		diff \| blob \| history
matita/components/extlib/.depend		diff \| blob \| history
matita/components/extlib/.depend.opt		diff \| blob \| history
matita/components/getter/.depend		diff \| blob \| history
matita/components/getter/.depend.opt		diff \| blob \| history
matita/components/grafite/.depend		diff \| blob \| history
matita/components/grafite/.depend.opt		diff \| blob \| history
matita/components/grafite_engine/.depend		diff \| blob \| history
matita/components/grafite_engine/.depend.opt		diff \| blob \| history
matita/components/grafite_parser/.depend		diff \| blob \| history
matita/components/grafite_parser/.depend.opt		diff \| blob \| history
matita/components/library/.depend		diff \| blob \| history
matita/components/library/.depend.opt		diff \| blob \| history
matita/components/logger/.depend		diff \| blob \| history
matita/components/logger/.depend.opt		diff \| blob \| history
matita/components/ng_cic_content/.depend		diff \| blob \| history
matita/components/ng_cic_content/.depend.opt		diff \| blob \| history
matita/components/ng_disambiguation/.depend		diff \| blob \| history
matita/components/ng_disambiguation/.depend.opt		diff \| blob \| history
matita/components/ng_kernel/.depend		diff \| blob \| history
matita/components/ng_kernel/.depend.opt		diff \| blob \| history
matita/components/ng_library/.depend		diff \| blob \| history
matita/components/ng_library/.depend.opt		diff \| blob \| history
matita/components/ng_paramodulation/.depend		diff \| blob \| history
matita/components/ng_paramodulation/.depend.opt		diff \| blob \| history
matita/components/ng_refiner/.depend		diff \| blob \| history
matita/components/ng_refiner/.depend.opt		diff \| blob \| history
matita/components/ng_tactics/.depend		diff \| blob \| history
matita/components/ng_tactics/.depend.opt		diff \| blob \| history
matita/components/registry/.depend		diff \| blob \| history
matita/components/registry/.depend.opt		diff \| blob \| history
matita/components/syntax_extensions/.depend		diff \| blob \| history
matita/components/syntax_extensions/.depend.opt		diff \| blob \| history
matita/components/thread/.depend		diff \| blob \| history
matita/components/thread/.depend.opt		diff \| blob \| history
matita/components/xml/.depend		diff \| blob \| history
matita/components/xml/.depend.opt		diff \| blob \| history
matita/matita/.depend		diff \| blob \| history
matita/matita/.depend.opt		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/functional/rtm.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/functional/rtm_step.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/genv.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/substitution/gdrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/substitution/gdrop_gdrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/list.ma		diff \| blob \| history
matita/matita/lib/arithmetics/nat.ma		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom