| Wed, 25 Sep 2002 07:42:24 +0200 | nipkow | added nat_split | file | diff | annotate |
| Mon, 22 Oct 2001 11:54:22 +0200 | paulson | Numerals now work for the integers: the binary numerals for 0 and 1 rewrite | file | diff | annotate |
| Wed, 25 Jul 2001 13:13:01 +0200 | paulson | partial restructuring to reduce dependence on Axiom of Choice | file | diff | annotate |
| Sat, 01 Jul 2000 17:52:52 +0200 | nipkow | Defined abs on int. | file | diff | annotate |
| Wed, 24 May 2000 18:41:09 +0200 | paulson | installing plus_ac0 for int | 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 |