| Tue, 16 Feb 1999 10:50:35 +0100 | paulson | new theorem image_Union_eq | changeset | files |
| Sat, 13 Feb 1999 22:08:54 +0100 | wenzelm | foldl_string; | changeset | files |
| Fri, 12 Feb 1999 14:40:56 +0100 | oheimb | renamed space2 to spacespace | changeset | files |
| Fri, 12 Feb 1999 13:56:21 +0100 | wenzelm | tuned pretty format lookup; | changeset | files |
| Fri, 12 Feb 1999 13:55:54 +0100 | wenzelm | pretty_thm: quote terms (separately); | changeset | files |
| Thu, 11 Feb 1999 21:25:21 +0100 | wenzelm | Symbol.output subject to print mode; | changeset | files |
| Thu, 11 Feb 1999 21:19:56 +0100 | wenzelm | -m isabelle_font; | changeset | files |
| Thu, 11 Feb 1999 21:18:56 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 11 Feb 1999 21:18:35 +0100 | wenzelm | Present.init; | changeset | files |
| Thu, 11 Feb 1999 21:18:19 +0100 | wenzelm | init, finish; | changeset | files |
| Thu, 11 Feb 1999 21:17:10 +0100 | wenzelm | proper handling of print_mode wrt. Pretty.sym; | changeset | files |
| Thu, 11 Feb 1999 21:16:30 +0100 | wenzelm | added output_width; | changeset | files |
| Thu, 11 Feb 1999 21:15:46 +0100 | wenzelm | sym: Symbol.output_width; | changeset | files |
| Thu, 11 Feb 1999 21:15:27 +0100 | wenzelm | val appends: T list -> T; | changeset | files |
| Thu, 11 Feb 1999 15:30:10 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 09 Feb 1999 10:47:21 +0100 | paulson | tidied; better error messages | changeset | files |
| Tue, 09 Feb 1999 10:45:55 +0100 | paulson | new lemma surjD | changeset | files |
| Mon, 08 Feb 1999 17:33:47 +0100 | wenzelm | Context.fetch, Context.setmp; | changeset | files |
| Mon, 08 Feb 1999 17:33:24 +0100 | wenzelm | "files" keyword! | changeset | files |
| Mon, 08 Feb 1999 17:33:03 +0100 | wenzelm | use: provide context; | changeset | files |
| Mon, 08 Feb 1999 17:32:24 +0100 | wenzelm | tuned msgs; | changeset | files |
| Mon, 08 Feb 1999 17:32:06 +0100 | wenzelm | tuned msg; | changeset | files |
| Mon, 08 Feb 1999 17:31:50 +0100 | wenzelm | added fetch, fetch_theory; | changeset | files |
| Mon, 08 Feb 1999 17:30:22 +0100 | wenzelm | ~~; | changeset | files |
| Mon, 08 Feb 1999 17:29:08 +0100 | wenzelm | path element specification '~~' refers to '$ISABELLE_HOME'; | changeset | files |
| Mon, 08 Feb 1999 15:55:35 +0100 | wenzelm | no deps on compile time sources; | changeset | files |
| Mon, 08 Feb 1999 15:54:44 +0100 | wenzelm | isatool logo; | changeset | files |
| Mon, 08 Feb 1999 15:53:56 +0100 | wenzelm | -i option; | changeset | files |
| Mon, 08 Feb 1999 13:02:56 +0100 | wenzelm | updated (Stephan Merz); | changeset | files |
| Mon, 08 Feb 1999 13:02:42 +0100 | wenzelm | updated TLA; | changeset | files |
| Fri, 05 Feb 1999 21:26:20 +0100 | wenzelm | made MLWorks happy; | changeset | files |
| Fri, 05 Feb 1999 21:14:17 +0100 | wenzelm | examples made separate dirs; | changeset | files |
| Fri, 05 Feb 1999 21:12:45 +0100 | wenzelm | add_path; | changeset | files |
| Fri, 05 Feb 1999 21:12:18 +0100 | wenzelm | Hyperreal made part of Real; | changeset | files |
| Fri, 05 Feb 1999 21:11:41 +0100 | wenzelm | Session.use_dir: check parent; | changeset | files |
| Fri, 05 Feb 1999 21:10:19 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 05 Feb 1999 21:06:24 +0100 | wenzelm | more robust handling of theory context; | changeset | files |
| Fri, 05 Feb 1999 21:04:58 +0100 | wenzelm | improved theory, context, update_context; | changeset | files |
| Fri, 05 Feb 1999 21:04:31 +0100 | wenzelm | improved 'theory'; | changeset | files |
| Fri, 05 Feb 1999 21:03:33 +0100 | wenzelm | improved msg; | changeset | files |
| Fri, 05 Feb 1999 21:03:06 +0100 | wenzelm | use_thy, update_thy: Context.save; | changeset | files |
| Fri, 05 Feb 1999 21:02:17 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Feb 1999 21:01:53 +0100 | wenzelm | time_use made pervasive; | changeset | files |
| Fri, 05 Feb 1999 20:58:17 +0100 | wenzelm | use_dir: check parent, more robust exit; | changeset | files |
| Fri, 05 Feb 1999 20:57:37 +0100 | wenzelm | more robust RC; | changeset | files |
| Fri, 05 Feb 1999 20:57:18 +0100 | wenzelm | setmp: theory option; | changeset | files |
| Fri, 05 Feb 1999 20:56:50 +0100 | wenzelm | Session.finish (); | changeset | files |
| Fri, 05 Feb 1999 17:31:42 +0100 | paulson | tidied Schroeder-Bernstein proof | changeset | files |
| Fri, 05 Feb 1999 17:31:04 +0100 | paulson | new surj rules | changeset | files |
| Thu, 04 Feb 1999 18:31:57 +0100 | wenzelm | obsolete; | changeset | files |
| Thu, 04 Feb 1999 18:18:19 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 04 Feb 1999 18:18:02 +0100 | wenzelm | include full paths in file info; | changeset | files |
| Thu, 04 Feb 1999 18:17:20 +0100 | wenzelm | Symbol.use; | changeset | files |
| Thu, 04 Feb 1999 18:17:01 +0100 | wenzelm | Symbol.use (eliminated Use.exit_use); | changeset | files |
| Thu, 04 Feb 1999 18:16:22 +0100 | wenzelm | leave theory context after load_thy; | changeset | files |
| Thu, 04 Feb 1999 18:15:53 +0100 | wenzelm | File.pwd, File.cd; | changeset | files |
| Thu, 04 Feb 1999 18:15:20 +0100 | wenzelm | fixed file_info; | changeset | files |
| Thu, 04 Feb 1999 18:15:01 +0100 | wenzelm | use, cd; | changeset | files |
| Thu, 04 Feb 1999 18:14:40 +0100 | wenzelm | added 'use'; | changeset | files |
| Thu, 04 Feb 1999 18:14:27 +0100 | wenzelm | fail_safe close; | changeset | files |