Sun, 08 Mar 2009 15:25:29 +0100 | haftmann | added top and bot syntax | changeset | files |
Sun, 08 Mar 2009 15:25:28 +0100 | haftmann | added predicate compiler, as formally checked prototype, not as user package | changeset | files |
Mon, 09 Mar 2009 10:01:58 +0100 | haftmann | attempt to bypass spurious infix syntax problem on polyml/sun | changeset | files |