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