| Thu, 26 Jun 2025 17:25:29 +0200 |
haftmann |
append (rather than prepend) code equations: the order within a theory is maintained in the resulting code
|
file |
diff |
annotate
|
| Sat, 24 Aug 2024 14:14:44 +0100 |
paulson |
Tidied some messy old proofs
|
file |
diff |
annotate
|
| Thu, 22 Aug 2024 22:26:28 +0100 |
paulson |
Partial tidying of old proofs
|
file |
diff |
annotate
|
| Thu, 15 Feb 2018 12:11:00 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 28 Dec 2015 01:28:28 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Sun, 13 Sep 2015 22:56:52 +0200 |
wenzelm |
tuned proofs -- less legacy;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
| Wed, 01 Jan 2014 15:55:11 +0100 |
haftmann |
dropped obsolete references to recdef
|
file |
diff |
annotate
|
| Fri, 13 Apr 2012 14:00:26 +0200 |
wenzelm |
updated headers;
|
file |
diff |
annotate
|
| Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|
| Sat, 17 Mar 2012 12:52:40 +0100 |
wenzelm |
renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;
|
file |
diff |
annotate
| base
|