| Wed, 27 Oct 1999 17:09:31 +0200 | wenzelm | export cond_with_path; | changeset | files |
| Wed, 27 Oct 1999 17:09:05 +0200 | wenzelm | dummy_pattern: aprop; | changeset | files |
| Wed, 27 Oct 1999 16:54:43 +0200 | wenzelm | updated for Isabelle99; | changeset | files |
| Wed, 27 Oct 1999 13:03:32 +0200 | paulson | working again; new treatment of LocalTo | changeset | files |
| Wed, 27 Oct 1999 13:02:23 +0200 | paulson | TEMPORARY use of Addsimps | changeset | files |
| Wed, 27 Oct 1999 12:50:48 +0200 | paulson | got rid of split_diff, which duplicated nat_diff_split, and | changeset | files |
| Wed, 27 Oct 1999 11:15:35 +0200 | oheimb | symbols in (error) messages now consistently with single backslash | changeset | files |
| Wed, 27 Oct 1999 11:13:25 +0200 | oheimb | now more than 256 generated bound variables possible | changeset | files |