Tue, 09 Jan 2001 15:32:27 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 13 Dec 2000 10:31:46 +0100 |
paulson |
tidying and replacement of "integer" rules by "order" ones
|
file |
diff |
annotate
|
Thu, 12 Oct 2000 12:16:58 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
Mon, 09 Oct 2000 14:10:55 +0200 |
nipkow |
ex_someI -> someI_ex
|
file |
diff |
annotate
|
Wed, 13 Sep 2000 18:46:09 +0200 |
paulson |
zgcd now works for negative integers
|
file |
diff |
annotate
|
Wed, 30 Aug 2000 16:29:21 +0200 |
nipkow |
introduced induct_thm_tac
|
file |
diff |
annotate
|
Thu, 17 Aug 2000 11:56:47 +0200 |
paulson |
modified proofs: better rules for cancellation of common factors across comparisons
|
file |
diff |
annotate
|
Thu, 10 Aug 2000 11:30:39 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
Thu, 03 Aug 2000 10:46:01 +0200 |
paulson |
Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen
|
file |
diff |
annotate
|