matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/ng_assembly/freescale/bool

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/ng_assembly/freescale/bool_lemmas.ma

2009-07-31	Cosimo Oliboni	freescale porting, work in progress	blob \| commitdiff \| raw
2009-07-30	Claudio Sacerdoti...	1) \ldots here and there	blob \| commitdiff \| raw \| diff to current
2009-07-23	Cosimo Oliboni	freescale porting, work in progress	blob \| commitdiff \| raw \| diff to current
2009-07-22	Claudio Sacerdoti...	1) PTS simplified	blob \| commitdiff \| raw \| diff to current
2009-07-21	Cosimo Oliboni	freescale porting, work in progress	blob \| commitdiff \| raw \| diff to current
2009-07-16	Cosimo Oliboni	freescale porting, work in progress	blob \| commitdiff \| raw \| diff to current
2009-07-14	Cosimo Oliboni	freescale porting to ng, work in progress	blob \| commitdiff \| raw \| diff to current
2009-07-13	Cosimo Oliboni	freescale translation (work in progress)	blob \| commitdiff \| raw \| diff to current
2009-07-11	Cosimo Oliboni	(no commit message)	blob \| commitdiff \| raw \| diff to current
2009-07-10	Cosimo Oliboni	new ng freescale, no external dependencies	blob \| commitdiff \| raw \| diff to current

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