Fri, 17 Oct 1997 15:25:12 +0200 | nipkow | setloop split_tac -> addsplits | file | diff | annotate |
Mon, 29 Sep 1997 11:37:02 +0200 | paulson | Step_tac -> Safe_tac | file | diff | annotate |
Fri, 26 Sep 1997 10:21:14 +0200 | paulson | Minor tidying to use Clarify_tac, etc. | file | diff | annotate |
Fri, 04 Jul 1997 12:31:20 +0200 | paulson | Simplified the new proofs about division | file | diff | annotate |
Wed, 02 Jul 1997 11:59:10 +0200 | nipkow | Added the following lemmas tp Divides and a few others to Arith and NatDef: | file | diff | annotate |
Mon, 23 Jun 1997 10:42:03 +0200 | paulson | Ran expandshort | file | diff | annotate |
Fri, 06 Jun 1997 13:28:40 +0200 | paulson | Removed a few redundant additions of simprules or classical rules | file | diff | annotate |
Fri, 30 May 1997 15:15:57 +0200 | paulson | Moving div and mod from Arith to Divides | file | diff | annotate |