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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: d3c7225) | patch

author	Cosimo Oliboni <??>
	Tue, 4 Aug 2009 16:24:31 +0000 (16:24 +0000)
committer	Cosimo Oliboni <??>
	Tue, 4 Aug 2009 16:24:31 +0000 (16:24 +0000)
commit	b1c174cffd3c1d10383a52d63a6e662156fb0bb7
tree	a5cdd07cf0038248cc0a4cb463d7c8e9effdfaf0	tree \| snapshot
parent	d3c72253769956a8af10e6ea990ed34c92999e58	commit \| diff

freescle porting, work in progress

15 files changed:

helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/theory.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/bitrigesim.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/word32.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/word32_lemmas.ma	[new file with mode: 0755]	blob

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