matita.cs.unibo.it Git - helm.git/history - matita/library/assembly/assembly.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/library/assembly/assembly.ma

2007-07-10	Enrico Tassi	La programmazione funzionale e' come TeX, funziona...	blob \| commitdiff \| raw
2007-07-09	Enrico Tassi	1. bug fixed in tick	blob \| commitdiff \| raw \| diff to current
2007-07-09	Claudio Sacerdoti...	Interesting theorem added (but still to be proved).	blob \| commitdiff \| raw \| diff to current
2007-07-07	Enrico Tassi	inclusion of div_and_mod	blob \| commitdiff \| raw \| diff to current
2007-07-05	Claudio Sacerdoti...	Exadecimal numbers are now used. This is a great speed-up.	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	Example program executed for x,y=0.	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	Quick hack: matita natural numbers are now accepted...	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	More opcodes (badly) implemented.	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	List.ma: added function nth (with default value in...	blob \| commitdiff \| raw \| diff to current

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