Sun, 14 Jan 2007 09:57:29 +0100 | paulson | optimized translation of HO problems | changeset | files |
Fri, 12 Jan 2007 15:37:21 +0100 | ballarin | Reverted to structure representation with records. | changeset | files |
Fri, 12 Jan 2007 09:58:31 +0100 | haftmann | more term inspection | changeset | files |
Fri, 12 Jan 2007 09:58:30 +0100 | haftmann | introduced binding concept | changeset | files |
Fri, 12 Jan 2007 09:58:29 +0100 | haftmann | adjusted manual | changeset | files |
Thu, 11 Jan 2007 16:53:12 +0100 | paulson | well-founded relations for the integers | changeset | files |