root/fort
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| OTest.hs | 10.6 kB | 17 | 2 years | Now we exclude variables also from definitions. |
| Parser.hs | 20.9 kB | 16 | 2 years | OTest does all easy steps on equalities. Not tested. |
Note: See TracBrowser for help on using the browser.
