1998-02-12 wenzelm 1998-02-12 *** empty log message ***
1998-02-12 wenzelm 1998-02-12 Sign.merge vs. Sign.nontriv_merge;
1998-02-12 wenzelm 1998-02-12 tuned comments;
1998-02-12 wenzelm 1998-02-12 oops;
1998-02-12 wenzelm 1998-02-12 tuned print_cs;
1998-02-12 wenzelm 1998-02-12 updated;
1998-02-12 wenzelm 1998-02-12 tuned;
1998-02-12 wenzelm 1998-02-12 added explicit signature; improved comments;
1998-02-12 wenzelm 1998-02-12 improved comments;
1998-02-12 wenzelm 1998-02-12 fixed add_trrules: intern root;
1998-02-12 wenzelm 1998-02-12 export map_trrule;
1998-02-12 wenzelm 1998-02-12 tuned add_trrules;
1998-02-12 wenzelm 1998-02-12 improved is_letter etc.;
1998-02-10 paulson 1998-02-10 New Addsimps for Compl rules
1998-02-10 paulson 1998-02-10 New AddIffs le_0_eq and neq0_conv
1998-02-09 nipkow 1998-02-09 Replaced ALLNEWSUBGOALS by THEN_ALL_NEW
1998-02-09 nipkow 1998-02-09 Used THEN_ALL_NEW.
1998-02-07 paulson 1998-02-07 moved freeze_thaw to drule.ML
1998-02-07 paulson 1998-02-07 Tidying; rotate_prems; moved freeze_thaw from tactic.ML
1998-02-07 paulson 1998-02-07 AC and other rewrite rules for Un and Int
1998-02-07 paulson 1998-02-07 auto update
1998-02-07 paulson 1998-02-07 Added reference to rotate_prems
1998-02-06 nipkow 1998-02-06 filter_size -> length_filter
1998-02-06 nipkow 1998-02-06 Added `remdups' nodup -> nodups
1998-02-06 wenzelm 1998-02-06 added Vartab: TABLE;
1998-02-05 wenzelm 1998-02-05 added param;
1998-02-05 wenzelm 1998-02-05 added THEN_ALL_NEW;
1998-02-05 paulson 1998-02-05 New theorem Image_id
1998-02-05 paulson 1998-02-05 New theorem order_eq_refl
1998-02-05 paulson 1998-02-05 New max, min theorems
1998-02-05 paulson 1998-02-05 Added some more explicit guarantees of key secrecy for agents Deleted spurious A~=Spy assumptions
1998-02-05 paulson 1998-02-05 Fixed a lot of overfull and underfull lines (hboxes)
1998-02-05 paulson 1998-02-05 Updated the description of how to set up hyp_subst_tac
1998-02-02 paulson 1998-02-02 New example, Pow_Sigma_bij
1998-02-02 paulson 1998-02-02 fixed WWW links
1998-02-02 paulson 1998-02-02 Three new facts about Image
1998-02-02 paulson 1998-02-02 Replaced \\1 by $1 as Perl itself asked me to...
1998-01-30 paulson 1998-01-30 Fixed the description of recdef
1998-01-30 wenzelm 1998-01-30 tuned msgs;
1998-01-30 wenzelm 1998-01-30 improved tracing of rewrite rule application;
1998-01-30 wenzelm 1998-01-30 removed dead messy code;
1998-01-30 wenzelm 1998-01-30 added read_var;
1998-01-30 wenzelm 1998-01-30 tuned;
1998-01-23 paulson 1998-01-23 Updated MOD reference
1998-01-21 wenzelm 1998-01-21 added symbols syntax;
1998-01-20 wenzelm 1998-01-20 reorganized into individual theories;
1998-01-19 wenzelm 1998-01-19 tuned;
1998-01-19 wenzelm 1998-01-19 make images;
1998-01-15 wenzelm 1998-01-15 tuned URL;
1998-01-15 wenzelm 1998-01-15 polyml-3.1;
1998-01-15 wenzelm 1998-01-15 obsolete;
1998-01-14 mueller 1998-01-14 added thms wrt weakening and strengthening in Abstraction;
1998-01-14 wenzelm 1998-01-14 New Jersey inactive; Isabelle98
1998-01-14 wenzelm 1998-01-14 HOL/record;
1998-01-14 narasche 1998-01-14 error with instantiantion of sub-records removed
1998-01-14 wenzelm 1998-01-14 added record.ML;
1998-01-14 wenzelm 1998-01-14 tuned;
1998-01-14 wenzelm 1998-01-14 added unit and prod stuff;
1998-01-14 wenzelm 1998-01-14 fixed Id;
1998-01-14 wenzelm 1998-01-14 smlnj-110 factory default;