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 |