src/HOL/TLA/ROOT.ML
Wed, 24 Dec 1997 10:02:30 +0100 paulson New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
Mon, 20 Oct 1997 11:14:55 +0200 wenzelm adapted to qualified names;
Wed, 08 Oct 1997 11:50:33 +0200 wenzelm A formalization of TLA in HOL -- by Stephan Merz;
less more (0) tip