Tue, 06 Dec 2005 16:07:25 +0100 | haftmann | improved class handling | changeset | files |
Tue, 06 Dec 2005 16:07:10 +0100 | haftmann | added 'dig' combinator | changeset | files |
Tue, 06 Dec 2005 09:04:09 +0100 | haftmann | re-oriented some result tuples in PureThy | changeset | files |