]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/technicalities
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
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... tree | commitdiff
2008-05-18 Claudio Sacerdoti... Dummy dependent types are no longer cleaned in inductiv... tree | commitdiff
2008-04-11 Enrico Tassimore fix removed from types tree | commitdiff
2008-04-11 Enrico Tassimore fix removed from types in proofs tree | commitdiff
2008-04-11 Enrico Tassiadded a simplify to prevent the generation of an ugly fix tree | commitdiff
2008-03-10 Claudio Sacerdoti... Scripts fixed because of: tree | commitdiff
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE tree | commitdiff
2007-11-15 Enrico Tassiautobatch => [auto] tree | commitdiff
2007-05-24 Enrico Tassiauto and autogui... some work tree | commitdiff
2007-04-16 Enrico Tassibetter simplify tree | commitdiff
2007-04-03 Enrico Tassinew case implementation tree | commitdiff
2007-04-02 Enrico Tassiadded some tests for cases tree | commitdiff
2007-03-26 Enrico Tassiadded eta expansion to avoid universe inconsistency. tree | commitdiff
2007-02-08 Claudio Sacerdoti... More progress in technicalities/setoids.ma. tree | commitdiff
2007-02-08 Claudio Sacerdoti... * 'default "equality"' command changed to consider... tree | commitdiff
2007-02-06 Claudio Sacerdoti... More stuff in technicalities/setoids.ma tree | commitdiff
2007-01-30 Claudio Sacerdoti... Proof size nicely reduced using distributive branching... tree | commitdiff
2007-01-30 Claudio Sacerdoti... Even more (painful) work on setoids. tree | commitdiff
2007-01-29 Claudio Sacerdoti... More work on setoids. tree | commitdiff
2007-01-07 Claudio Sacerdoti... Porting of setoids.ma from Coq continued. tree | commitdiff
2007-01-07 Claudio Sacerdoti... Bug fixed in definition of cic:/.../setoids/make_compat... tree | commitdiff
2006-11-23 Andrea AspertiFixed a call to auto, and commented the remaining part. tree | commitdiff
2006-11-23 Andrea AspertiMinor changes. tree | commitdiff
2006-09-27 Enrico Tassi... tree | commitdiff
2006-09-27 Claudio Sacerdoti... More work on the translation of technicalities/setoids.ma. tree | commitdiff
2006-09-27 Claudio Sacerdoti... Initial work on setoids: tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.