Fri, 28 Jul 2000 16:02:51 +0200 | nipkow | apply. -> by | changeset | files |
Fri, 28 Jul 2000 13:04:59 +0200 | nipkow | * HOL/While | changeset | files |
Thu, 27 Jul 2000 18:27:25 +0200 | wenzelm | added theory While; | changeset | files |
Thu, 27 Jul 2000 18:27:09 +0200 | wenzelm | export has_internal; | changeset | files |
Thu, 27 Jul 2000 18:25:55 +0200 | wenzelm | added thm_deps; | changeset | files |
Thu, 27 Jul 2000 18:25:44 +0200 | wenzelm | added enter_forward_proof; | changeset | files |