src/HOL/HoareParallel/Mul_Gar_Coll.thy
2006-12-06 wenzelm 2006-12-06 removed legacy ML bindings;
2006-07-08 wenzelm 2006-07-08 avoid Force_tac, which uses a different context;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-10-15 nipkow 2004-10-15 update
2004-09-10 nipkow 2004-09-10 Added antisymmetry simproc
2002-05-30 nipkow 2002-05-30 Modifications due to enhanced linear arithmetic.
2002-03-05 prensani 2002-03-05 New order in the loading of theories (Quote-antiquote right before the OG_Syntax and RG_Syntax respectively)
2002-03-05 prensani 2002-03-05 HoareParallel Theories