Mercurialisabelle / shortlog
summary | shortlog | changelog | graph | tags | branches | files | gz

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