src/HOL/TLA/Memory/Memory.ML
1999-02-08 wenzelm 1999-02-08 updated (Stephan Merz);
1998-10-23 oheimb 1998-10-23 corrected auto_tac (applications of unsafe wrappers) improved style of several proofs
1998-09-21 oheimb 1998-09-21 improved addbefore and addSbefore improved mechanism for unsafe wrappers
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-04-24 oheimb 1998-04-24 improved split_all_tac significantly
1998-03-12 oheimb 1998-03-12 renamed not1_or to disj_not1, not2_or to disj_not2
1998-03-10 oheimb 1998-03-10 added not1_or and if_eq_cancel to simpset()
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-08 wenzelm 1997-10-08 A formalization of TLA in HOL -- by Stephan Merz;