2007-09-06 | Tom Schrijvers | fix for Simple9 |
commit | commitdiff | tree |
2007-09-05 | Tom Schrijvers | also swap for variables in completion algorithm |
commit | commitdiff | tree |
2007-09-04 | Tom Schrijvers | bug fix in Decomp step of completion algorithm for... |
commit | commitdiff | tree |
2007-09-04 | Tom Schrijvers | fix of wanted equational class context |
commit | commitdiff | tree |
2007-05-11 | Tom Schrijvers | type family normalisation |
commit | commitdiff | tree |