| Wed, 26 Aug 1998 18:24:06 +0200 | wenzelm | added HOL tutorial; | changeset | files |
| Wed, 26 Aug 1998 18:08:04 +0200 | nipkow | junk | changeset | files |
| Wed, 26 Aug 1998 17:27:27 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 26 Aug 1998 17:11:29 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 26 Aug 1998 16:57:49 +0200 | nipkow | The HOL tutorial. | changeset | files |
| Wed, 26 Aug 1998 16:33:29 +0200 | wenzelm | moved images to gfx dir; | changeset | files |
| Mon, 24 Aug 1998 21:09:59 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 24 Aug 1998 19:13:00 +0200 | wenzelm | SYNC; | changeset | files |
| Mon, 24 Aug 1998 19:12:13 +0200 | wenzelm | emacs local vars; | changeset | files |
| Mon, 24 Aug 1998 19:11:13 +0200 | wenzelm | emacs local vars; | changeset | files |
| Mon, 24 Aug 1998 18:58:12 +0200 | wenzelm | added nonterminals, setup; | changeset | files |
| Mon, 24 Aug 1998 18:17:25 +0200 | wenzelm | added Antiquote example; | changeset | files |
| Mon, 24 Aug 1998 17:16:49 +0200 | wenzelm | mkdir -p; | changeset | files |
| Mon, 24 Aug 1998 17:13:58 +0200 | wenzelm | emacs local vars; | changeset | files |
| Mon, 24 Aug 1998 17:13:26 +0200 | wenzelm | SYNC; | changeset | files |
| Mon, 24 Aug 1998 17:13:11 +0200 | wenzelm | emacs local vars; | changeset | files |
| Mon, 24 Aug 1998 15:52:39 +0200 | wenzelm | isatool install; | changeset | files |
| Mon, 24 Aug 1998 15:49:53 +0200 | wenzelm | install binaries with absolute references to ISABELLE_HOME/bin; | changeset | files |
| Mon, 24 Aug 1998 14:02:40 +0200 | oheimb | debugged split_eta_proc | changeset | files |
| Fri, 21 Aug 1998 17:49:21 +0200 | paulson | tidied | changeset | files |
| Fri, 21 Aug 1998 16:14:34 +0200 | paulson | Tidying | changeset | files |
| Fri, 21 Aug 1998 15:56:12 +0200 | paulson | New UNITY files | changeset | files |
| Thu, 20 Aug 1998 17:43:01 +0200 | paulson | New theory Lift | changeset | files |
| Thu, 20 Aug 1998 16:58:28 +0200 | paulson | new theorems | changeset | files |
| Thu, 20 Aug 1998 16:49:47 +0200 | paulson | tidied | changeset | files |
| Thu, 20 Aug 1998 16:47:52 +0200 | paulson | new theorems; adds [le_refl, less_imp_le] as simprules | changeset | files |
| Thu, 20 Aug 1998 16:44:05 +0200 | paulson | adjusted for new rewrites | changeset | files |
| Thu, 20 Aug 1998 16:37:18 +0200 | paulson | tidied | changeset | files |
| Thu, 20 Aug 1998 16:25:32 +0200 | paulson | tidied | changeset | files |
| Thu, 20 Aug 1998 16:23:43 +0200 | paulson | Must remove leD from simpset | changeset | files |
| Thu, 20 Aug 1998 16:20:17 +0200 | paulson | tidied | changeset | files |
| Thu, 20 Aug 1998 16:18:39 +0200 | paulson | Must remove less_imp_le from simpset | changeset | files |