Thu, 11 Mar 1999 21:57:34 +0100 wenzelm named witnesses: PureThy.get_thmss;
Thu, 11 Mar 1999 21:56:22 +0100 wenzelm primrec: empty attributes;
Thu, 11 Mar 1999 21:55:23 +0100 wenzelm tuned opt_mixfix failure;
Thu, 11 Mar 1999 21:53:50 +0100 wenzelm add_title;
Thu, 11 Mar 1999 21:53:36 +0100 wenzelm added 'title';
Thu, 11 Mar 1999 21:52:49 +0100 wenzelm tuned space;
Thu, 11 Mar 1999 21:52:32 +0100 wenzelm comment;
Thu, 11 Mar 1999 21:51:49 +0100 wenzelm workaround default_name problem;
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Thu, 11 Mar 1999 12:34:10 +0100 wenzelm include 'README';
Thu, 11 Mar 1999 12:33:34 +0100 wenzelm tuned;
Thu, 11 Mar 1999 12:32:40 +0100 wenzelm moved Thy/session.ML to Isar/session.ML;
Wed, 10 Mar 1999 17:24:26 +0100 wenzelm tuned;
Wed, 10 Mar 1999 17:06:35 +0100 wenzelm -x option;
Wed, 10 Mar 1999 16:31:33 +0100 wenzelm updated;
Wed, 10 Mar 1999 13:44:55 +0100 wenzelm report session path;
Wed, 10 Mar 1999 13:17:46 +0100 wenzelm report path instead of actual session;
Wed, 10 Mar 1999 10:55:12 +0100 wenzelm HTML output;
Wed, 10 Mar 1999 10:53:53 +0100 wenzelm maintain current/parent index;
Wed, 10 Mar 1999 10:53:02 +0100 wenzelm output: some symbol translations;
Wed, 10 Mar 1999 10:47:13 +0100 wenzelm parent_session;
Wed, 10 Mar 1999 10:43:59 +0100 paulson allow meta_outer to do nothing
Wed, 10 Mar 1999 10:42:57 +0100 paulson updating both Yahalom protocols to the Gets model
Wed, 10 Mar 1999 10:42:40 +0100 paulson updated not_bad_tac for the Gets model
Wed, 10 Mar 1999 10:42:11 +0100 paulson deleted obsolete comments
Tue, 09 Mar 1999 12:20:22 +0100 wenzelm Present.theory_source;
Tue, 09 Mar 1999 12:20:04 +0100 wenzelm begin/end_theory: presentation;
Tue, 09 Mar 1999 12:19:25 +0100 wenzelm checkpoint -- basic functionality only;
Tue, 09 Mar 1999 12:18:46 +0100 wenzelm added use_path;
Tue, 09 Mar 1999 12:18:02 +0100 wenzelm IsarThy.begin/end_theory;
Tue, 09 Mar 1999 12:17:40 +0100 wenzelm Present.theorem;
Tue, 09 Mar 1999 12:13:58 +0100 wenzelm fixed add_path reset;
Tue, 09 Mar 1999 12:13:11 +0100 wenzelm still fake, passes BrowserInfo;
Tue, 09 Mar 1999 12:12:45 +0100 wenzelm HTML markup elements.
Tue, 09 Mar 1999 12:12:02 +0100 wenzelm added html.ML, browser_info.ML;
Tue, 09 Mar 1999 12:11:29 +0100 wenzelm token translation: real;
Tue, 09 Mar 1999 12:11:00 +0100 wenzelm added strlen_real, setmp_margin;
Tue, 09 Mar 1999 12:10:13 +0100 wenzelm tuned using nth_elem_string, exists_string;
Tue, 09 Mar 1999 12:09:51 +0100 wenzelm added make, dir;
Tue, 09 Mar 1999 12:09:22 +0100 wenzelm added mkdir;
Tue, 09 Mar 1999 12:09:05 +0100 wenzelm added Buffer;
Tue, 09 Mar 1999 12:08:50 +0100 wenzelm simple string buffers;
Tue, 09 Mar 1999 12:08:08 +0100 wenzelm *** empty log message ***
Tue, 09 Mar 1999 12:07:52 +0100 wenzelm pretty_thm_no_quote;
Tue, 09 Mar 1999 12:07:32 +0100 wenzelm HTML.setup;
Tue, 09 Mar 1999 12:07:16 +0100 wenzelm added nth_elem_string, exists_string;
Tue, 09 Mar 1999 12:06:09 +0100 wenzelm token translation: real;
Tue, 09 Mar 1999 12:05:07 +0100 wenzelm tuned;
Tue, 09 Mar 1999 11:09:01 +0100 paulson tidied
Tue, 09 Mar 1999 11:01:39 +0100 paulson Added Bella's "Gets" model for Otway_Rees. Also affects some other theories.
Mon, 08 Mar 1999 13:49:53 +0100 nipkow Suc -> +1
Mon, 08 Mar 1999 13:49:14 +0100 nipkow modified zip
Fri, 05 Mar 1999 12:11:54 +0100 berghofe Fixed bug in add_datatype_axm:
Thu, 04 Mar 1999 14:23:51 +0100 wenzelm fixed again;
Wed, 03 Mar 1999 11:27:10 +0100 paulson expandshort
Wed, 03 Mar 1999 11:26:36 +0100 paulson added UNITY/Extend
Wed, 03 Mar 1999 11:15:18 +0100 paulson expandshort
Wed, 03 Mar 1999 11:12:29 +0100 paulson tidied
Wed, 03 Mar 1999 10:50:42 +0100 paulson UNITY fully working at last...
Wed, 03 Mar 1999 10:36:24 +0100 paulson expandshort
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip