matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/ng_assembly/num/quatern

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma

author	Cosimo Oliboni <??>
	Tue, 11 Aug 2009 02:30:12 +0000 (02:30 +0000)
committer	Cosimo Oliboni <??>
	Tue, 11 Aug 2009 02:30:12 +0000 (02:30 +0000)
commit	9dc61a4f11210bccf34f63f48968afca4261c1b4
tree	8258d572531064cb15448dca146eab83114bae07	tree \| snapshot
parent	fc1e871dde0f9f4cfde6f4a4fda8d18022584e65	commit \| diff

freescale porting, work in progress

23 files changed:

helm/software/matita/contribs/ng_assembly/common/ascii_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas1.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas2.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas3.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas4.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas5.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/common/meta_type.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/theory.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/compiler/ast_type_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode1.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode2.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode1.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode2.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma		diff \| blob \| history
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

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

RSS Atom