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 |