| Wed, 29 Sep 1999 16:44:18 +0200 | wenzelm | subsetD; | file | diff | annotate |
| Tue, 21 Sep 1999 17:28:33 +0200 | wenzelm | added some ~= rules; | file | diff | annotate |
| Fri, 27 Aug 1999 20:29:20 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 09 Aug 1999 22:25:27 +0200 | wenzelm | added asym rule; | file | diff | annotate |
| Fri, 09 Jul 1999 16:45:18 +0200 | wenzelm | added HOL.trans; | file | diff | annotate |
| Thu, 01 Jul 1999 17:42:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 30 Jun 1999 16:00:06 +0200 | wenzelm | antisym first; | file | diff | annotate |
| Wed, 30 Jun 1999 13:42:47 +0200 | wenzelm | more robust trans rules; | file | diff | annotate |
| Sat, 05 Jun 1999 20:37:29 +0200 | wenzelm | added Ord.order_antisym; | file | diff | annotate |
| Fri, 04 Jun 1999 19:57:31 +0200 | wenzelm | Calculation.thy: Setup transitivity rules for calculational proofs. | file | diff | annotate |