| Tue, 20 Apr 1999 14:36:19 +0200 | paulson | Main is the correct parent | changeset | files |
| Tue, 20 Apr 1999 14:35:12 +0200 | paulson | new result extend_LeadsTo | changeset | files |
| Tue, 20 Apr 1999 14:34:47 +0200 | paulson | should not refer to Datatype | changeset | files |
| Tue, 20 Apr 1999 14:33:48 +0200 | paulson | addition of Kerberos IV example | changeset | files |
| Tue, 20 Apr 1999 14:32:48 +0200 | paulson | tidied | changeset | files |
| Mon, 19 Apr 1999 17:53:38 +0200 | wenzelm | improved usage; | changeset | files |
| Fri, 16 Apr 1999 18:52:03 +0200 | wenzelm | loadpath replaced; | changeset | files |
| Fri, 16 Apr 1999 17:48:46 +0200 | wenzelm | and_list; | changeset | files |
| Fri, 16 Apr 1999 17:48:31 +0200 | wenzelm | lifted enum; | changeset | files |
| Fri, 16 Apr 1999 17:47:06 +0200 | wenzelm | may specify induction predicates as well; | changeset | files |
| Fri, 16 Apr 1999 17:46:02 +0200 | wenzelm | added Isar_examples; | changeset | files |
| Fri, 16 Apr 1999 17:44:29 +0200 | wenzelm | Miscellaneous Isabelle/Isar examples for Higher-Order Logic. | changeset | files |
| Fri, 16 Apr 1999 16:47:30 +0200 | wenzelm | lemmas about proper subset relation; | changeset | files |
| Fri, 16 Apr 1999 14:50:30 +0200 | wenzelm | Proof by induction on types / set / functions. | changeset | files |