src/HOL/HoareParallel/Graph.thy
2007-08-01 wenzelm 2007-08-01 tuned config options: eliminated separate attribute "option";
2007-07-31 wenzelm 2007-07-31 turned fast_arith_split/neq_limit into configuration options;
2007-02-02 nipkow 2007-02-02 a few additions and deletions
2006-08-30 webertj 2006-08-30 lin_arith_prover: splitting reverted because of performance loss
2006-08-02 webertj 2006-08-02 lin_arith_prover splits certain operators (e.g. min, max, abs)
2006-07-26 webertj 2006-07-26 linear arithmetic splits certain operators (e.g. min, max, abs)
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
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