Fri, 13 Oct 2000 08:28:21 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 12 Oct 2000 18:38:23 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 19 Jul 2000 12:33:36 +0200 |
paulson |
changed / to // for quotienting
|
file |
diff |
annotate
|
Tue, 23 May 2000 18:14:57 +0200 |
paulson |
defining 0::int to be (int 0)
|
file |
diff |
annotate
|
Fri, 27 Aug 1999 15:42:10 +0200 |
paulson |
tidied, allowing pattern-matching in defs of zadd and zmult
|
file |
diff |
annotate
|
Thu, 29 Jul 1999 12:44:57 +0200 |
paulson |
added parentheses to cope with a possible reduction of the precedence of unary
|
file |
diff |
annotate
|
Thu, 01 Oct 1998 18:27:17 +0200 |
paulson |
much tidying
|
file |
diff |
annotate
|
Tue, 29 Sep 1998 15:57:42 +0200 |
paulson |
many renamings and changes. Simproc for cancelling common terms in relations
|
file |
diff |
annotate
|
Fri, 25 Sep 1998 13:57:01 +0200 |
paulson |
Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants
|
file |
diff |
annotate
|
Wed, 23 Sep 1998 10:25:37 +0200 |
paulson |
much renaming and reorganization
|
file |
diff |
annotate
|
Fri, 18 Sep 1998 16:04:00 +0200 |
paulson |
new files in Integ
|
file |
diff |
annotate
|