]> 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
Towards chebyshev.
[helm.git] / helm / software / matita / library / technicalities /
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.