]>
2018-08-07 | Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2 | tree | commitdiff |
2018-07-21 | Ferruccio Guidi | update in apps_2 | tree | commitdiff |
2018-07-13 | Ferruccio Guidi | update in static_2 and app_2 | tree | commitdiff |
2018-07-11 | Ferruccio Guidi | update in static_2 and app_2 | tree | commitdiff |
2018-05-09 | Ferruccio Guidi | update in groud_2 and models | tree | commitdiff |
2018-05-08 | Ferruccio Guidi | update in grond_2 and models | tree | commitdiff |
2018-05-03 | Ferruccio Guidi | update in ground_2 and models | tree | commitdiff |
2018-05-01 | Ferruccio Guidi | update in models and ground_2 | tree | commitdiff |
2013-06-01 | Ferruccio Guidi | - basic_2: induction for preservation results now uses... | tree | commitdiff |