]>
2019-09-27 | Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | finite_lambda restored | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | reverse_complexity lib restored | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | automatically inserted aliases | tree | commitdiff |
2019-09-27 | Claudio Sacerdoti... | Broken libs moved to broken_lib | tree | commitdiff |