src/HOL/TLA/Buffer/Buffer.ML
2004-02-19 paulson 2004-02-19 removed a reference to the ML structure List.thy
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2000-08-03 wenzelm 2000-08-03 tuned version by Stephan Merz (unbatchified etc.);
1999-02-08 wenzelm 1999-02-08 updated (Stephan Merz);
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-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-14 nipkow 1997-10-14 Two lemmas are already in List.
1997-10-08 wenzelm 1997-10-08 A formalization of TLA in HOL -- by Stephan Merz;