]> matita.cs.unibo.it Git - helm.git/history - helm/matita/library/list/list.ma
made executable again
[helm.git] / helm / matita / library / list / list.ma
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/
2005-12-12 Stefano Zacchirolicoercion command now requires an uri
2005-11-07 Stefano Zacchiroliadded tail function
2005-09-29 Stefano Zacchirolimoved a (commented) test in a handier position
2005-09-21 Stefano Zacchiroliuses ligatures (as a sample)
2005-09-19 Claudio Sacerdoti... Spurious interpretation removed.
2005-09-19 Stefano Zacchiroliadded list.ma