]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/assembly/assembly.ma
More opcodes (badly) implemented.
[helm.git] / helm / software / matita / library / assembly / assembly.ma
2007-07-04 Claudio Sacerdoti... More opcodes (badly) implemented.
2007-07-04 Claudio Sacerdoti... List.ma: added function nth (with default value in...