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
1996-11-01 paulson 1996-11-01 Changes tabs found in .thy files to spaces
1996-11-01 paulson 1996-11-01 Replaced "sum" (only usage?) by foldl op+
1996-11-01 paulson 1996-11-01 Now uses Int.max instead of max
1996-11-01 paulson 1996-11-01 maxidx_of_typs replaces max o map maxidx_of_typ
1996-11-01 paulson 1996-11-01 Now uses Int.max instead of max nodup_Vars now updates maxidx
1996-11-01 paulson 1996-11-01 maxidx_of_typs replaces max o map maxidx_of_typ Now uses Int.max instead of max
1996-11-01 paulson 1996-11-01 asm_rewrite_goal_tac now calls SELECT_GOAL. Replaced min by Int.min
1996-11-01 paulson 1996-11-01 Replaced foldl nodup_TVars by nodup_TVars_list -- for a big speedup on Poly/ML
1996-11-01 paulson 1996-11-01 Replaced min by Int.min
1996-11-01 paulson 1996-11-01 Deleted Olist constructor. Replaced minidx by "above" function
1996-11-01 paulson 1996-11-01 Now defines structure Int
1996-10-30 paulson 1996-10-30 Changed some mem calls to mem_int for greater efficiency (not that it could matter)
1996-10-30 paulson 1996-10-30 Only calls nodup_Vars if really necessary. We get a speedup of nearly 6%
1996-10-30 paulson 1996-10-30 Changed some mem calls to mem_string for greater efficiency (not that it could matter)
1996-10-30 paulson 1996-10-30 Minor updates
1996-10-30 paulson 1996-10-30 Updated references
1996-10-28 paulson 1996-10-28 Minor corrections
1996-10-28 nipkow 1996-10-28 Renamed and shuffled a few thms.
1996-10-28 paulson 1996-10-28 Simplified proofs
1996-10-28 paulson 1996-10-28 Tidied up a big mess in UN_parts_sees_Says
1996-10-28 paulson 1996-10-28 Changing from the Reveal to the Oops rule
1996-10-27 nipkow 1996-10-27 Simplifid proofs.