src/HOL/Calculation.thy
1999-09-21 wenzelm 1999-09-21 added some ~= rules;
1999-08-27 wenzelm 1999-08-27 tuned;
1999-08-09 wenzelm 1999-08-09 added asym rule;
1999-07-09 wenzelm 1999-07-09 added HOL.trans;
1999-07-01 wenzelm 1999-07-01 tuned;
1999-06-30 wenzelm 1999-06-30 antisym first;
1999-06-30 wenzelm 1999-06-30 more robust trans rules;
1999-06-05 wenzelm 1999-06-05 added Ord.order_antisym;
1999-06-04 wenzelm 1999-06-04 Calculation.thy: Setup transitivity rules for calculational proofs.