| Sat, 19 May 2007 18:19:06 +0200 | chaieb | added cpat antiquotation for reading certified patterns | changeset | files |
| Sat, 19 May 2007 14:05:05 +0200 | nipkow | unfold min/max in Stefans code generator | changeset | files |
| Sat, 19 May 2007 13:41:13 +0200 | nipkow | added code generation based on Isabelle's rat type. | changeset | files |
| Sat, 19 May 2007 13:40:33 +0200 | nipkow | Disabled Stefancs code generator - already enabled in RealDef. | changeset | files |
| Sat, 19 May 2007 11:33:57 +0200 | haftmann | constant op @ now named append | changeset | files |
| Sat, 19 May 2007 11:33:34 +0200 | haftmann | fixed comment | changeset | files |
| Sat, 19 May 2007 11:33:33 +0200 | haftmann | dropped legacy | changeset | files |
| Sat, 19 May 2007 11:33:32 +0200 | haftmann | improved eta expansion | changeset | files |
| Sat, 19 May 2007 11:33:31 +0200 | haftmann | dropped nonsense comment | changeset | files |
| Sat, 19 May 2007 11:33:30 +0200 | haftmann | fixed text | changeset | files |
| Sat, 19 May 2007 11:33:28 +0200 | haftmann | eliminated name clash with List.append | changeset | files |
| Sat, 19 May 2007 11:33:26 +0200 | haftmann | added qualification for ambiguous definition names | changeset | files |
| Sat, 19 May 2007 11:33:25 +0200 | haftmann | tuned | changeset | files |
| Sat, 19 May 2007 11:33:24 +0200 | haftmann | typ_of instance for int | changeset | files |