src/HOL/TLA/Buffer/DBuffer.ML
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
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-06-22 wenzelm 1998-06-22 isatool fixgoal;
1997-12-24 paulson 1997-12-24 New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
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;