| Tue, 29 Nov 2005 22:52:19 +0100 |
wenzelm |
added mk_split;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:54:24 +0200 |
nipkow |
added listT
|
file |
diff |
annotate
|
| Mon, 01 Aug 2005 19:20:24 +0200 |
wenzelm |
removed read_cterm;
|
file |
diff |
annotate
|
| Thu, 14 Jul 2005 19:28:17 +0200 |
wenzelm |
removed not_const -- use Not instead;
|
file |
diff |
annotate
|
| Mon, 16 May 2005 10:29:15 +0200 |
paulson |
Use of IntInf.int instead of int in most numeric simprocs; avoids
|
file |
diff |
annotate
|
| Mon, 09 May 2005 16:40:11 +0200 |
paulson |
choice_const moved to hologic.ML
|
file |
diff |
annotate
|
| Wed, 23 Mar 2005 12:09:18 +0100 |
paulson |
replaced bool by a new datatype "bit" for binary numerals
|
file |
diff |
annotate
|
| Tue, 08 Mar 2005 16:02:52 +0100 |
obua |
fix integer overflow in numeral syntax for SML NJ.
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Fri, 20 Aug 2004 12:21:03 +0200 |
paulson |
proof reconstruction for external ATPs
|
file |
diff |
annotate
|
| Mon, 19 Jul 2004 18:14:57 +0200 |
berghofe |
Added function dest_list.
|
file |
diff |
annotate
|
| Thu, 01 Jul 2004 12:29:53 +0200 |
paulson |
new treatment of binary numerals
|
file |
diff |
annotate
|
| Sun, 15 Feb 2004 10:46:37 +0100 |
paulson |
Polymorphic treatment of binary arithmetic using axclasses
|
file |
diff |
annotate
|
| Fri, 11 Jul 2003 14:56:30 +0200 |
berghofe |
mk_int now produces specific constants for 0 and 1.
|
file |
diff |
annotate
|