]>
2007-11-17 | Enrico Tassi | fixed bugs found by csc | blob | commitdiff | raw |
2007-11-17 | Enrico Tassi | moved to pkg-ocaml-maint | blob | commitdiff | raw | diff to current |
2007-11-16 | Claudio Sacerdoti... | Some notes for Enrico. | blob | commitdiff | raw | diff to current |
2007-11-16 | Enrico Tassi | more cleanup | blob | commitdiff | raw | diff to current |
2007-11-15 | Enrico Tassi | declared eq_sym as a coercion and added 2 lemmas for... | blob | commitdiff | raw | diff to current |
2007-11-14 | Enrico Tassi | fixed notation | blob | commitdiff | raw | diff to current |
2007-11-14 | Enrico Tassi | ogroups almost finished | blob | commitdiff | raw | diff to current |
2007-11-14 | Enrico Tassi | snapshot | blob | commitdiff | raw | diff to current |
2007-11-13 | Enrico Tassi | snapshot | blob | commitdiff | raw | diff to current |
2007-11-12 | Enrico Tassi | renamed ordered sets into excedence.ma | blob | commitdiff | raw | diff to current |