| Tue, 05 Oct 2004 15:30:50 +0200 | paulson | new simprules for abs and for things like a/b<1 | file | diff | annotate |
| Wed, 01 Sep 2004 15:04:01 +0200 | paulson | new "respects" syntax for quotienting | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |
| Thu, 29 Jul 2004 16:57:41 +0200 | paulson | removal of more iff-rules from RealDef.thy | file | diff | annotate |
| Thu, 29 Jul 2004 16:14:42 +0200 | paulson | removed some [iff] declarations from RealDef.thy, concerning inequalities | file | diff | annotate |