Tue, 20 Mar 2007 08:27:23 +0100 | haftmann | fixed typo | changeset | files |
Tue, 20 Mar 2007 08:27:22 +0100 | haftmann | new lemmas | changeset | files |
Tue, 20 Mar 2007 08:27:21 +0100 | haftmann | pretty function arrow for diag serializer | changeset | files |
Tue, 20 Mar 2007 08:27:20 +0100 | haftmann | adjusted definition of defining equation | changeset | files |
Tue, 20 Mar 2007 08:27:19 +0100 | haftmann | fixed slip | changeset | files |
Tue, 20 Mar 2007 08:27:15 +0100 | haftmann | explizit "type" superclass | changeset | files |