1996-11-19 wenzelm 1996-11-19 restored changed prettyprinting of ==>;
1996-11-19 wenzelm 1996-11-19 removed old commented out text;
1996-11-19 wenzelm 1996-11-19 minor tuning;
1996-11-19 wenzelm 1996-11-19 tuned some char names;
1996-11-19 wenzelm 1996-11-19 added this file;
1996-11-19 wenzelm 1996-11-19 added add_modesyntax(_i);
1996-11-18 wenzelm 1996-11-18 added symbolfont syntax;
1996-11-18 wenzelm 1996-11-18 improved string scanner: converts 8 bit chars to escape sequences;
1996-11-18 wenzelm 1996-11-18 mixfix: added syntax for Infirl/rName; syntax section: added option printer table name;
1996-11-18 wenzelm 1996-11-18 extend_const_gram now supports multiple disjoint printer tables;
1996-11-18 wenzelm 1996-11-18 new delimiter syntax in mixfixes: \{SYMBOLNAME} is char from symbol font;
1996-11-18 wenzelm 1996-11-18 added print_mode: string list ref (order of printer tables); multiple disjoint printer tables, to be combined hierarchically; multiple entries in printer tables (matched in order);
1996-11-18 wenzelm 1996-11-18 added Infixl/rName: specify infix name independently from syntax; added Pure symbolfont syntax;
1996-11-18 wenzelm 1996-11-18 added symbol_font.ML;
1996-11-18 wenzelm 1996-11-18 added add_modesyntax(_i); improved syntax of ==, =?=, ==> (now allows "op ..."); added Pure symbolfont syntax;
1996-11-18 wenzelm 1996-11-18 added is_printable: string -> bool;
1996-11-18 wenzelm 1996-11-18 added Syntax/symbol_font.ML;
1996-11-18 paulson 1996-11-18 Removal of an obsolete result, and authentication of B to A
1996-11-18 paulson 1996-11-18 Changed subst_bounds to subst_bound, to run faster
1996-11-18 paulson 1996-11-18 Optimizations: removal of polymorphic equality; one-argument case for subst_bounds
1996-11-18 paulson 1996-11-18 Speedups involving norm
1996-11-18 paulson 1996-11-18 Introduction of structure Int
1996-11-18 paulson 1996-11-18 Updated and clearer(?) instructions
1996-11-14 nipkow 1996-11-14 Modified formal of thms in html file.
1996-11-14 wenzelm 1996-11-14 removed 'open Syntax Type';
1996-11-14 wenzelm 1996-11-14 removed silly message;
1996-11-14 wenzelm 1996-11-14 subsig tuning;
1996-11-13 wenzelm 1996-11-13 tuned subsig;
1996-11-13 paulson 1996-11-13 Updated version and date Isabelle94-7
1996-11-13 paulson 1996-11-13 Removal of polymorphic equality via mem, subset, eq_set, etc
1996-11-13 paulson 1996-11-13 In-lined the one function call to normTsh
1996-11-13 paulson 1996-11-13 Removal of polymorphic equality via mem, subset, eq_set, etc
1996-11-12 nipkow 1996-11-12 Now moves all Tool/*gif files.
1996-11-12 paulson 1996-11-12 Changed some mem calls to be monomorphic
1996-11-12 paulson 1996-11-12 Changed some mem, ins and union calls to be monomorphic
1996-11-12 paulson 1996-11-12 Changed some mem and ins calls to be monomorphic
1996-11-12 paulson 1996-11-12 Updated syntax; shortened comments; put in monomorphic versions of ins
1996-11-12 paulson 1996-11-12 Removed a call to polymorphic mem
1996-11-12 paulson 1996-11-12 Added a comment
1996-11-11 paulson 1996-11-11 Should never have been added in the first place
1996-11-08 paulson 1996-11-08 A bit of tidying up
1996-11-08 paulson 1996-11-08 Ran expandshort
1996-11-08 paulson 1996-11-08 Removed "standard" call from uresult, to allow specialist applications
1996-11-08 paulson 1996-11-08 Deleted a redundant pattern
1996-11-08 paulson 1996-11-08 Adjusting to new version of uresult
1996-11-07 paulson 1996-11-07 Tidying up: removing redundant assumptions, etc.
1996-11-07 paulson 1996-11-07 Deleted bogus comment
1996-11-07 paulson 1996-11-07 Adding lessI to default claset
1996-11-06 wenzelm 1996-11-06 tuned fix_shyps a little bit more;
1996-11-05 nipkow 1996-11-05 New version of paper.
1996-11-05 paulson 1996-11-05 Replaced the very slow "find" command by "rm" with wildcards
1996-11-05 paulson 1996-11-05 Simplified new_keys_not_seen, etc.: replaced the union over all agents by the Spy alone. Proofs run faster and they do not have to be set up in terms of a previous lemma.
1996-11-04 nipkow 1996-11-04 Used nat_trans_tac. New Eta. various smaller changes.
1996-11-04 paulson 1996-11-04 Renamed SELECT_GOAL's new parameter from x to selct to avoid clashes
1996-11-04 paulson 1996-11-04 Removal of now unused sum, max, min. Use foldl op+, Int.max, Int.min
1996-11-01 paulson 1996-11-01 Minor changes to comments
1996-11-01 paulson 1996-11-01 New version with simpler disambiguation in YM3, Oops message, and no encryption in YM2
1996-11-01 paulson 1996-11-01 New, purely illustrative result Crypt_synth_analz
1996-11-01 paulson 1996-11-01 Proof of antisym_less_lift now simpler and more robust
1996-11-01 paulson 1996-11-01 Now uses Int.max instead of max