| Thu, 12 Apr 2001 18:05:41 +0200 | wenzelm | proper order of order_less_asym'; | file | diff | annotate |
| Sun, 11 Feb 2001 16:31:54 +0100 | wenzelm | tuned trans rules; | file | diff | annotate |
| Fri, 09 Feb 2001 23:48:33 +0100 | wenzelm | lower priority for forw_subst; | file | diff | annotate |
| Mon, 23 Oct 2000 22:11:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 19 Oct 2000 21:20:53 +0200 | wenzelm | declare sym [elim?] in HOL.ML instead of Calculation.thy; | file | diff | annotate |
| Mon, 02 Oct 2000 15:13:32 +0200 | wenzelm | added == transitive rule (bad idea??); | file | diff | annotate |
| Tue, 01 Aug 2000 00:18:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 23 Jul 2000 12:01:39 +0200 | wenzelm | elim?; | file | diff | annotate |
| Sat, 01 Jul 2000 19:51:08 +0200 | wenzelm | added subst rules for ord(er), including monotonicity conditions; | file | diff | annotate |
| Sun, 25 Jun 2000 23:58:54 +0200 | wenzelm | prefer mp over subst; | file | diff | annotate |
| Sun, 04 Jun 2000 19:39:29 +0200 | wenzelm | removed explicit terminator (";"); | file | diff | annotate |
| Wed, 10 May 2000 21:04:16 +0200 | wenzelm | base on IntArith instead of Int (in order to leave out deleted simproc!); | file | diff | annotate |
| Sun, 27 Feb 2000 15:21:13 +0100 | wenzelm | theorems [trans] = rev_mp mp; | file | diff | annotate |
| Thu, 10 Feb 2000 13:36:23 +0100 | wenzelm | theorems [elim??] = sym; | file | diff | annotate |
| 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 |