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;
1998-01-14 wenzelm 1998-01-14 added of_sort;
1998-01-13 wenzelm 1998-01-13 added base_path;
1998-01-13 mueller 1998-01-13 added simulations files to IOA;
1998-01-13 mueller 1998-01-13 added forward simulation correectness;
1998-01-13 narasche 1998-01-13 Simplification: sel make and update make
1998-01-12 mueller 1998-01-12 added abstraction files;
1998-01-12 mueller 1998-01-12 added further IOA liles;
1998-01-12 wenzelm 1998-01-12 updated to Isabelle98;
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-12 mueller 1998-01-12 added files containing temproal logic and abstraction;
1998-01-12 wenzelm 1998-01-12 Delsimprocs nat_cancel;
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-12 paulson 1998-01-12 Tidying, mostly to do with handling a more specific version of Fake_parts_insert
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-12 wenzelm 1998-01-12 fixed author;
1998-01-10 paulson 1998-01-10 Simplified proofs by omitting PA = {|XA, ...|} from RA2
1998-01-10 paulson 1998-01-10 trivial tidy
1998-01-09 wenzelm 1998-01-09 tuned;
1998-01-09 wenzelm 1998-01-09 automatic index.html patch;
1998-01-09 wenzelm 1998-01-09 tuned;
1998-01-09 wenzelm 1998-01-09 tuned ISABELLE_TMP_PREFIX;
1998-01-09 wenzelm 1998-01-09 thm_ord;
1998-01-09 wenzelm 1998-01-09 eliminated make_ord;
1998-01-09 wenzelm 1998-01-09 ISABELLE_TMP_PREFIX: $LOGNAME
1998-01-09 wenzelm 1998-01-09 several minor updates;
1998-01-08 wenzelm 1998-01-08 tuned;
1998-01-08 wenzelm 1998-01-08 index.html for Isabelle Distribution Area;
1998-01-08 wenzelm 1998-01-08 updated to Isabelle98;
1998-01-08 wenzelm 1998-01-08 tuned;
1998-01-08 wenzelm 1998-01-08 fixed thm_less;
1998-01-08 paulson 1998-01-08 Expressed most Oops rules using Notes instead of Says, and other tidying
1998-01-08 oheimb 1998-01-08 added split_paired_Ex to the implicit simpset
1998-01-08 oheimb 1998-01-08 added select_equality to the implicit claset
1998-01-08 oheimb 1998-01-08 added select_equality to the implicit claset added split_paired_Ex, split_part, and Eps_split_eq to the implicit simpset removed split_select renamed Collect_Prod to Collect_split
1998-01-08 oheimb 1998-01-08 added newline at end of file
1998-01-08 oheimb 1998-01-08 *** empty log message ***
1998-01-08 oheimb 1998-01-08 streamlined specification of included theories
1998-01-08 oheimb 1998-01-08 corrected Title
1998-01-08 oheimb 1998-01-08 removed obsolete comment
1998-01-08 oheimb 1998-01-08 added Univalent
1998-01-08 oheimb 1998-01-08 removed Eps_eq, ex1_Eps_eq, and some unnecessary parentheses
1998-01-08 oheimb 1998-01-08 added update_same, update_other, update_triv, and map_of_SomeD
1998-01-08 oheimb 1998-01-08 replaced fn _ => by K
1998-01-08 wenzelm 1998-01-08 *** empty log message ***
1998-01-08 paulson 1998-01-08 New rule: image_subset
1998-01-08 paulson 1998-01-08 Restored the ciphertext in OR4 in order to make the spec closer to that in OtwayRees.thy
1998-01-08 paulson 1998-01-08 Tidied by adding more default simprules
1998-01-07 wenzelm 1998-01-07 adapted to new split order;
1998-01-07 wenzelm 1998-01-07 adapted to new sort function;
1998-01-07 wenzelm 1998-01-07 improved targets; fixed dependencies on parent logics;
1998-01-06 wenzelm 1998-01-06 tuned;