Mon, 26 Jan 2009 22:14:18 +0100 |
haftmann |
stripped Id
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 23:40:23 +0100 |
haftmann |
no base sort in class import
|
file |
diff |
annotate
|
Fri, 04 Apr 2008 13:40:26 +0200 |
haftmann |
syntactic classes for bit operations
|
file |
diff |
annotate
|
Sun, 17 Feb 2008 06:49:53 +0100 |
huffman |
New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
|
file |
diff |
annotate
|
Wed, 02 Jan 2008 15:14:02 +0100 |
haftmann |
splitted class uminus from class minus
|
file |
diff |
annotate
|
Sat, 10 Nov 2007 23:03:52 +0100 |
wenzelm |
tuned specifications of 'notation';
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 22:57:50 +0200 |
huffman |
move bit simps from BinOperations to BitSyntax
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 19:14:18 +0200 |
huffman |
use class instead of axclass
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 04:44:35 +0200 |
kleing |
added header
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 04:34:31 +0200 |
kleing |
* HOL-Word:
|
file |
diff |
annotate
|