| Thu, 09 Aug 2007 23:53:50 +0200 | wenzelm | schedule: more precise task model; | changeset | files |
| Thu, 09 Aug 2007 23:53:49 +0200 | wenzelm | schedule: more precise task model; | changeset | files |
| Thu, 09 Aug 2007 19:19:23 +0200 | wenzelm | fixed DESCRIPTION: single line; | changeset | files |
| Thu, 09 Aug 2007 19:00:31 +0200 | wenzelm | updated; | changeset | files |
| Thu, 09 Aug 2007 16:56:17 +0200 | wenzelm | adapted ThyLoad.check_thy; | changeset | files |
| Thu, 09 Aug 2007 15:57:26 +0200 | haftmann | dropped | changeset | files |
| Thu, 09 Aug 2007 15:52:57 +0200 | haftmann | explizit checking for pattern discipline | changeset | files |
| Thu, 09 Aug 2007 15:52:56 +0200 | haftmann | proper handling of empty datatypes | changeset | files |
| Thu, 09 Aug 2007 15:52:55 +0200 | haftmann | improved class target: now considers class intro rules | changeset | files |
| Thu, 09 Aug 2007 15:52:54 +0200 | haftmann | new access interface in defs.ML | changeset | files |
| Thu, 09 Aug 2007 15:52:53 +0200 | haftmann | adaptions for code generation | changeset | files |
| Thu, 09 Aug 2007 15:52:49 +0200 | haftmann | proper implementation of rational numbers | changeset | files |