]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Added initial support for inversion principles in Matita NG.
[helm.git] / helm / software / matita /
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Enrico Tassiugly coerc db print tree | commitdiff
2009-09-29 Claudio Sacerdoti... ... tree | commitdiff
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Enrico Tassimore virtuals tree | commitdiff
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Claudio Sacerdoti... It does not work recursively... tree | commitdiff
2009-09-29 Claudio Sacerdoti... ... tree | commitdiff
2009-09-28 Enrico Tassinon ho resistito! tree | commitdiff
2009-09-28 Claudio Sacerdoti... Experiment... tree | commitdiff
2009-09-28 Claudio Sacerdoti... Experiment... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassimulti screenshot tree | commitdiff
2009-09-24 Enrico Tassincheck works in the current ctx tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi.... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassimore on screenshot tree | commitdiff
2009-09-23 Enrico Tassinew macro screenshot tree | commitdiff
2009-09-22 Enrico Tassi... tree | commitdiff
2009-09-21 Enrico Tassi... tree | commitdiff
2009-09-21 Enrico Tassinew tactics by CSC tree | commitdiff
2009-09-21 Enrico Tassihuge commit regarding universes: tree | commitdiff
2009-09-18 Claudio Sacerdoti... ... tree | commitdiff
2009-09-17 Enrico Tassione more exception printed tree | commitdiff
2009-09-17 Enrico Tassimore work for igft tree | commitdiff
2009-09-16 Enrico Tassimore notation for topologies, and some prentheses that... tree | commitdiff
2009-09-16 Enrico Tassisome more work... tree | commitdiff
2009-09-16 Claudio Sacerdoti... New interesting coercion. tree | commitdiff
2009-09-15 Enrico Tassiimproved check in delift for flexible lc entries. tree | commitdiff
2009-09-14 Enrico Tassifixed coercion mechanism w.r.t. undo/require tree | commitdiff
2009-09-14 Claudio Sacerdoti... New tactics ncut and nlapply. tree | commitdiff
2009-09-13 Enrico Tassia nice bug in meta handling is not visible... brr... tree | commitdiff
2009-09-13 Enrico Tassisome more letters tree | commitdiff
2009-09-11 Enrico Tassi... tree | commitdiff
2009-09-11 Enrico Tassiconstructor accepts the arguments of the constructor... tree | commitdiff
2009-09-11 Enrico Tassi... tree | commitdiff
2009-09-11 Enrico Tassinew syntax tree | commitdiff
2009-09-11 Enrico Tassinew macro ncheck. fixed term2pres for Inductive and... tree | commitdiff
2009-09-10 Enrico Tassiok, but slow on includes tree | commitdiff
2009-09-10 Enrico Tassinice hints tree | commitdiff
2009-09-10 Enrico Tassimaledetto il \sub di CSC tree | commitdiff
2009-09-10 Enrico Tassiit starts to work tree | commitdiff
2009-09-10 Enrico Tassinice notation for hints! tree | commitdiff
2009-09-10 Enrico Tassimore stuff fixed tree | commitdiff
2009-09-09 Enrico Tassisome more work for ng-coercions tree | commitdiff
2009-09-08 Enrico Tassisnapshot for CSC tree | commitdiff
2009-09-04 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-04 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-03 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-03 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-03 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-09-02 Enrico Tassifix to speedup reduction making intermediate conversion... tree | commitdiff
2009-09-02 Enrico Tassifixed eliminator name tree | commitdiff
2009-09-02 Enrico Tassisome work tree | commitdiff
2009-09-02 Enrico TassiCIC has no eta-reduction/expansion tree | commitdiff
2009-08-28 Enrico Tassialias bug revealed tree | commitdiff
2009-08-25 Enrico Tassi... tree | commitdiff
2009-08-25 Enrico Tassiinitial and incomplete port of the old demo about induc... tree | commitdiff
2009-08-25 Enrico Tassiexponentiation should output with \sup not with ^,... tree | commitdiff
2009-08-25 Enrico Tassiadded "already defined" tree | commitdiff
2009-08-24 Claudio Sacerdoti... Nicer proof "finished" (up to arithmetical facts). tree | commitdiff
2009-08-21 Claudio Sacerdoti... Towards a simplified proof. tree | commitdiff
2009-08-21 Claudio Sacerdoti... ... tree | commitdiff
2009-08-20 Claudio Sacerdoti... Injectivity proved! What a mess... tree | commitdiff
2009-08-20 Claudio Sacerdoti... ... tree | commitdiff
2009-08-20 Claudio Sacerdoti... - Bug fixed in definition of big_op. tree | commitdiff
2009-08-20 Claudio Sacerdoti... ... tree | commitdiff
2009-08-19 Claudio Sacerdoti... One half done. tree | commitdiff
2009-08-19 Claudio Sacerdoti... ... tree | commitdiff
2009-08-18 Claudio Sacerdoti... ... tree | commitdiff
2009-08-18 Claudio Sacerdoti... ... tree | commitdiff
2009-08-18 Claudio Sacerdoti... ... tree | commitdiff
2009-08-14 Claudio Sacerdoti... ... tree | commitdiff
2009-08-14 Claudio Sacerdoti... ... tree | commitdiff
2009-08-14 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-13 Claudio Sacerdoti... (nat,plus) is an abelian, unital magma tree | commitdiff
2009-08-12 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-12 Claudio Sacerdoti... A very little bit of arithmetic. tree | commitdiff
2009-08-12 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-11 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-09 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-08 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-07 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-06 Claudio Sacerdoti... The first omomorphism theorem for whole sets (i.e.... tree | commitdiff
2009-08-06 Claudio Sacerdoti... Hmmm: I don't see much gain here. tree | commitdiff
2009-08-06 Claudio Sacerdoti... Setoid rewriting as unification hinting. Does not work... tree | commitdiff
2009-08-06 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-05 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-05 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-05 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-05 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
2009-08-05 Cosimo Oliboni freescale porting, work in progress tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.