Wed, 17 Mar 1999 13:31:19 +0100 wenzelm added cond_extern_thm_sg;
Wed, 17 Mar 1999 13:30:24 +0100 wenzelm AxClass.setup;
Wed, 17 Mar 1999 13:30:09 +0100 wenzelm axclass.ML loaded after Isar;
Fri, 12 Mar 1999 22:02:51 +0100 wenzelm made weblint happy;
Fri, 12 Mar 1999 18:49:02 +0100 wenzelm comment;
Fri, 12 Mar 1999 18:48:51 +0100 wenzelm removed obsolete user data stuff;
Fri, 12 Mar 1999 18:48:11 +0100 wenzelm theory: include parent links;
Thu, 11 Mar 1999 21:59:26 +0100 wenzelm outer syntax for 'datatype';
Thu, 11 Mar 1999 21:58:54 +0100 wenzelm add_primrec(_i): attributes;
Thu, 11 Mar 1999 21:58:12 +0100 wenzelm outer syntax for 'record';
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.
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip