Sun, 03 Jun 2007 23:16:45 +0200 |
wenzelm |
name_of_fqgar: precise type;
|
changeset |
files
|
Sun, 03 Jun 2007 23:16:44 +0200 |
wenzelm |
added plural (from Pure/library.ML);
|
changeset |
files
|
Sun, 03 Jun 2007 23:16:43 +0200 |
wenzelm |
local open FundefLib;
|
changeset |
files
|
Sun, 03 Jun 2007 23:16:42 +0200 |
wenzelm |
renamed gen_submultiset to submultiset;
|
changeset |
files
|
Sun, 03 Jun 2007 23:16:41 +0200 |
wenzelm |
HOL-ex: tuned deps;
|
changeset |
files
|
Sun, 03 Jun 2007 16:57:51 +0200 |
nipkow |
tuned list comprehension, added lemma
|
changeset |
files
|
Sun, 03 Jun 2007 15:44:35 +0200 |
nipkow |
fixed tex error
|
changeset |
files
|
Sun, 03 Jun 2007 13:19:03 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Sun, 03 Jun 2007 12:58:28 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Sat, 02 Jun 2007 20:14:38 +0200 |
webertj |
extended
|
changeset |
files
|
Sat, 02 Jun 2007 19:10:04 +0200 |
webertj |
cosmetic
|
changeset |
files
|
Sat, 02 Jun 2007 18:35:38 +0200 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|
Sat, 02 Jun 2007 18:05:34 +0200 |
wenzelm |
added target/local_abbrev (from proof_context.ML);
|
changeset |
files
|
Sat, 02 Jun 2007 18:05:33 +0200 |
wenzelm |
moved specific target/local_abbrev to theory_target.ML;
|
changeset |
files
|
Sat, 02 Jun 2007 15:28:38 +0200 |
krauss |
"function (sequential)" and "fun" now handle incomplete patterns silently by adding "undefined" cases.
|
changeset |
files
|