| Mon, 07 Mar 2005 23:54:01 +0100 |
huffman |
added subsections and text for document generation
|
changeset |
files
|
| Mon, 07 Mar 2005 23:30:06 +0100 |
huffman |
Added dependency document/root.tex, and -g true option to isatool; document generation should work now.
|
changeset |
files
|
| Mon, 07 Mar 2005 19:41:04 +0100 |
webertj |
HTML 4.01 Transitional conformity
|
changeset |
files
|
| Mon, 07 Mar 2005 19:30:53 +0100 |
webertj |
refute_params: default value itself=1 added (for type classes)
|
changeset |
files
|
| Mon, 07 Mar 2005 19:25:13 +0100 |
webertj |
HTML 4.01 Transitional conformity
|
changeset |
files
|
| Mon, 07 Mar 2005 19:17:07 +0100 |
webertj |
HTML 4.01 Transitional conformity
|
changeset |
files
|
| Mon, 07 Mar 2005 18:40:36 +0100 |
paulson |
now checks for higher-order vars
|
changeset |
files
|
| Mon, 07 Mar 2005 18:19:55 +0100 |
obua |
Cleaning up HOL/Matrix
|
changeset |
files
|
| Mon, 07 Mar 2005 16:55:36 +0100 |
paulson |
Tools/meson.ML: signature, structure and "open" rather than "local"
|
changeset |
files
|
| Fri, 04 Mar 2005 23:25:06 +0100 |
huffman |
add header
|
changeset |
files
|
| Fri, 04 Mar 2005 23:23:47 +0100 |
huffman |
fix headers
|
changeset |
files
|
| Fri, 04 Mar 2005 23:12:36 +0100 |
huffman |
converted to new-style theories, and combined numbered files
|
changeset |
files
|
| Fri, 04 Mar 2005 18:53:46 +0100 |
huffman |
document generation for HOLCF
|
changeset |
files
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
changeset |
files
|
| Fri, 04 Mar 2005 11:44:26 +0100 |
paulson |
new first_order test
|
changeset |
files
|
| Fri, 04 Mar 2005 10:58:04 +0100 |
paulson |
removed dead code
|
changeset |
files
|
| Thu, 03 Mar 2005 17:22:46 +0100 |
webertj |
interpreter for Finite_Set.Finites added
|
changeset |
files
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
changeset |
files
|
| Thu, 03 Mar 2005 09:22:35 +0100 |
nipkow |
fixed proof
|
changeset |
files
|
| Thu, 03 Mar 2005 01:37:32 +0100 |
huffman |
converted to new-style theory
|
changeset |
files
|
| Thu, 03 Mar 2005 00:42:04 +0100 |
huffman |
converted to new-style theory
|
changeset |
files
|
| Wed, 02 Mar 2005 23:58:02 +0100 |
huffman |
converted to new-style theory
|
changeset |
files
|
| Wed, 02 Mar 2005 23:28:17 +0100 |
huffman |
converted to new-style theory
|
changeset |
files
|
| Wed, 02 Mar 2005 23:15:16 +0100 |
huffman |
converted to new-style theory
|
changeset |
files
|
| Wed, 02 Mar 2005 22:57:08 +0100 |
huffman |
converted to new-style theory
|
changeset |
files
|
| Wed, 02 Mar 2005 22:30:00 +0100 |
huffman |
converted to new-style theory
|
changeset |
files
|
| Wed, 02 Mar 2005 12:06:15 +0100 |
nipkow |
another reorganization of setsums and intervals
|
changeset |
files
|
| Wed, 02 Mar 2005 10:33:10 +0100 |
dixon |
lucas - fixed bug with name capture variables bound outside redex could (previously)conflict with scheme variables that occur in the conditions of an equation, and which were renamed to avoid conflict with another instantiation. This has now been fixed.
|
changeset |
files
|
| Wed, 02 Mar 2005 10:21:17 +0100 |
paulson |
obscured the e-mail address lcp@cl
|
changeset |
files
|
| Wed, 02 Mar 2005 10:02:21 +0100 |
paulson |
new lemmas int_diff_cases
|
changeset |
files
|