diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-04-27 13:33:58 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-04-27 13:33:58 +1000 |
| commit | 2c22cee1f8fa87c527449a8bdc668ea311fdaf64 (patch) | |
| tree | 561d7cc1193765418d402c2265aeb39837c101a7 /tex | |
| parent | 76a4f0fcf3a9bf54ef910cdb2c0bebea37182391 (diff) | |
Bit more work. maxFixpoint should be working now.
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions