1997-05-16 mueller 1997-05-16 added Modelcheck example;
1997-05-16 wenzelm 1997-05-16 still under construction!
1997-05-16 wenzelm 1997-05-16 improved www4 ref;
1997-05-16 wenzelm 1997-05-16 fixed infix syntax;
1997-05-16 wenzelm 1997-05-16 fixed Modelchek reference;
1997-05-16 wenzelm 1997-05-16 SYNC;
1997-05-16 wenzelm 1997-05-16 hint at more sections; named infixes;
1997-05-16 wenzelm 1997-05-16 added \settdx;
1997-05-16 mueller 1997-05-16 Invoking Model Checkers in Isabelle/HOL;
1997-05-16 oheimb 1997-05-16 renamed unsafe_addss to addss
1997-05-16 paulson 1997-05-16 Subst now moved to directory HOL
1997-05-15 oheimb 1997-05-15 renamed unsafe_addss to addss
1997-05-15 oheimb 1997-05-15 renamed addss to addSss, unsafe_addss to addss, extended auto_tac
1997-05-15 wenzelm 1997-05-15 *** empty log message ***
1997-05-15 oheimb 1997-05-15 corrected depth_tac: no call for safe_step_tac if subgoal not present
1997-05-15 wenzelm 1997-05-15 fixed bash path!!!
1997-05-15 wenzelm 1997-05-15 SYNC;
1997-05-15 wenzelm 1997-05-15 removed garbage;
1997-05-15 wenzelm 1997-05-15 sysman refs; removed garbage;
1997-05-15 wenzelm 1997-05-15 remove FIXME;
1997-05-15 paulson 1997-05-15 New proofs for TFL
1997-05-15 paulson 1997-05-15 Improved error message in "require_thy"
1997-05-15 paulson 1997-05-15 Added pred_list for TFL
1997-05-15 paulson 1997-05-15 Preliminary TFL versions
1997-05-15 paulson 1997-05-15 TFL theory section
1997-05-15 paulson 1997-05-15 New theories used by TFL
1997-05-15 paulson 1997-05-15 New version, modified by Konrad Slind and LCP for TFL
1997-05-15 paulson 1997-05-15 TFL now integrated with HOL (more work needed)
1997-05-15 wenzelm 1997-05-15 remove Witness.thy;
1997-05-14 wenzelm 1997-05-14 SYNC;
1997-05-14 wenzelm 1997-05-14 preliminary!
1997-05-14 wenzelm 1997-05-14 added \tooldx;
1997-05-14 wenzelm 1997-05-14 tuned comment;
1997-05-14 wenzelm 1997-05-14 tuned;
1997-05-14 wenzelm 1997-05-14 renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
1997-05-14 wenzelm 1997-05-14 removed -u option;
1997-05-14 wenzelm 1997-05-14 ML_SYSTEM is polyml-3.1 again;
1997-05-14 wenzelm 1997-05-14 tuned;
1997-05-14 wenzelm 1997-05-14 mylist instead of list in datatype ex;
1997-05-14 wenzelm 1997-05-14 tuned comment;
1997-05-14 wenzelm 1997-05-14 tuned;
1997-05-14 wenzelm 1997-05-14 tuned comments; NJ 1.09.27 now default;
1997-05-13 oheimb 1997-05-13 corrected problem with type abbreviations in pcpo_type
1997-05-13 wenzelm 1997-05-13 of_sort: type_sig -> typ * sort -> bool;
1997-05-12 wenzelm 1997-05-12 added system, ind_defs, axclass;
1997-05-12 wenzelm 1997-05-12 fixed ISABELLE_DOCS multiple components;
1997-05-12 wenzelm 1997-05-12 *** empty log message ***
1997-05-12 wenzelm 1997-05-12 added System;
1997-05-12 wenzelm 1997-05-12 The Isabelle System Manual;
1997-05-12 wenzelm 1997-05-12 improved doc stuff;
1997-05-12 wenzelm 1997-05-12 added AxClass;
1997-05-12 wenzelm 1997-05-12 Tutorial on Axiomatic Type Classes;
1997-05-12 wenzelm 1997-05-12 list of manuals to be made automatically;
1997-05-12 wenzelm 1997-05-12 'dist', 'clean';
1997-05-12 wenzelm 1997-05-12 added 'clean';
1997-05-12 wenzelm 1997-05-12 move to Inductive/
1997-05-12 wenzelm 1997-05-12 moved here from ..
1997-05-12 wenzelm 1997-05-12 minor tuning;
1997-05-12 wenzelm 1997-05-12 minor tuning;
1997-05-12 wenzelm 1997-05-12 SYNC;