]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/technicalities
use named types to force some constraints asap
[helm.git] / helm / software / matita / library / technicalities /
2008-06-09 Claudio Sacerdoti... Most of the time, URIs can now be replaced with identif...
2008-05-18 Claudio Sacerdoti... Dummy dependent types are no longer cleaned in inductiv...
2008-04-11 Enrico Tassimore fix removed from types
2008-04-11 Enrico Tassimore fix removed from types in proofs
2008-04-11 Enrico Tassiadded a simplify to prevent the generation of an ugly fix
2008-03-10 Claudio Sacerdoti... Scripts fixed because of:
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-11-15 Enrico Tassiautobatch => [auto]
2007-05-24 Enrico Tassiauto and autogui... some work
2007-04-16 Enrico Tassibetter simplify
2007-04-03 Enrico Tassinew case implementation
2007-04-02 Enrico Tassiadded some tests for cases
2007-03-26 Enrico Tassiadded eta expansion to avoid universe inconsistency.
2007-02-08 Claudio Sacerdoti... More progress in technicalities/setoids.ma.
2007-02-08 Claudio Sacerdoti... * 'default "equality"' command changed to consider...
2007-02-06 Claudio Sacerdoti... More stuff in technicalities/setoids.ma
2007-01-30 Claudio Sacerdoti... Proof size nicely reduced using distributive branching...
2007-01-30 Claudio Sacerdoti... Even more (painful) work on setoids.
2007-01-29 Claudio Sacerdoti... More work on setoids.
2007-01-07 Claudio Sacerdoti... Porting of setoids.ma from Coq continued.
2007-01-07 Claudio Sacerdoti... Bug fixed in definition of cic:/.../setoids/make_compat...
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: