| Thu, 15 Apr 2010 16:55:12 +0200 | Cezary Kaliszyk | Respectfullness and preservation of list_rel | changeset | files |
| Thu, 15 Apr 2010 18:09:22 +0200 | wenzelm | replaced slightly odd Typedecl.predeclare_constraints by plain declaration of type arguments -- also avoid "recursive" declaration of type constructor, which can cause problems with sequential definitions B.foo = A.foo; | changeset | files |
| Thu, 15 Apr 2010 18:00:21 +0200 | wenzelm | get_sort: suppress dummyS from input; | changeset | files |
| Thu, 15 Apr 2010 16:58:12 +0200 | wenzelm | modernized treatment of sort constraints in specification; | changeset | files |