]> matita.cs.unibo.it Git - helm.git/history - matita/library/technicalities
...
[helm.git] / matita / library / technicalities /
2006-11-23 Andrea AspertiFixed a call to auto, and commented the remaining part.
2006-11-23 Andrea AspertiMinor changes.
2006-09-27 Enrico Tassi...
2006-09-27 Claudio Sacerdoti... More work on the translation of technicalities/setoids.ma.
2006-09-27 Claudio Sacerdoti... Initial work on setoids: