| Fri, 09 Jul 2010 17:15:03 +0200 |
krauss |
moved example to its own file in HOL/ex
|
changeset |
files
|
| Fri, 09 Jul 2010 17:00:42 +0200 |
haftmann |
merged
|
changeset |
files
|
| Fri, 09 Jul 2010 16:58:44 +0200 |
haftmann |
pervasive success combinator
|
changeset |
files
|
| Fri, 09 Jul 2010 16:32:25 +0200 |
krauss |
added "while_option", which needs no well-foundedness; defined "while" in terms of "while_option"
|
changeset |
files
|
| Fri, 09 Jul 2010 10:08:10 +0200 |
haftmann |
avoid slightly odd "M" suffix; rename mapM to fold_map (fold_map_abort would be more correct, though)
|
changeset |
files
|
| Fri, 09 Jul 2010 09:48:54 +0200 |
haftmann |
adapted to changes
|
changeset |
files
|
| Fri, 09 Jul 2010 09:48:53 +0200 |
haftmann |
guard combinator
|
changeset |
files
|
| Fri, 09 Jul 2010 09:48:53 +0200 |
haftmann |
tuned reference theory
|
changeset |
files
|
| Fri, 09 Jul 2010 09:48:52 +0200 |
haftmann |
tuned array theory
|
changeset |
files
|
| Fri, 09 Jul 2010 08:11:10 +0200 |
haftmann |
nicer xsymbol syntax for fcomp and scomp
|
changeset |
files
|
| Thu, 08 Jul 2010 17:23:05 +0200 |
haftmann |
dropped ancient in-place compilation of SML; more tests
|
changeset |
files
|
| Thu, 08 Jul 2010 16:48:33 +0200 |
haftmann |
updated documentation
|
changeset |
files
|
| Thu, 08 Jul 2010 16:41:57 +0200 |
haftmann |
dropped ancient in-place compilation of SML
|
changeset |
files
|
| Thu, 08 Jul 2010 16:28:18 +0200 |
haftmann |
more accurate dependencies
|
changeset |
files
|
| Thu, 08 Jul 2010 16:20:03 +0200 |
haftmann |
empty default
|
changeset |
files
|
| Thu, 08 Jul 2010 16:19:24 +0200 |
haftmann |
checking generated code for various target languages
|
changeset |
files
|
| Thu, 08 Jul 2010 16:19:24 +0200 |
haftmann |
tuned titles
|
changeset |
files
|
| Thu, 08 Jul 2010 16:19:23 +0200 |
haftmann |
tuned module names
|
changeset |
files
|
| Thu, 08 Jul 2010 16:17:44 +0200 |
haftmann |
tuned tabs
|
changeset |
files
|
| Thu, 08 Jul 2010 16:17:44 +0200 |
haftmann |
tuned script
|
changeset |
files
|
| Thu, 08 Jul 2010 09:36:23 +0200 |
haftmann |
combinator with_tmp_dir
|
changeset |
files
|
| Thu, 08 Jul 2010 09:36:22 +0200 |
haftmann |
rm_tree: remove entire file system trees
|
changeset |
files
|
| Wed, 07 Jul 2010 18:17:23 +0200 |
berghofe |
Boxes may now have different widths.
|
changeset |
files
|
| Wed, 07 Jul 2010 09:26:54 +0200 |
hoelzl |
tuned
|
changeset |
files
|
| Wed, 07 Jul 2010 08:25:23 +0200 |
bulwahn |
replaced manual derivation of equations for inductive predicates by automatic derivation by inductive_simps
|
changeset |
files
|
| Wed, 07 Jul 2010 08:25:22 +0200 |
bulwahn |
added NEWS entry
|
changeset |
files
|
| Wed, 07 Jul 2010 08:25:21 +0200 |
bulwahn |
added the new command inductive_cases to derive simplification equations for inductive predicates; added binding simps for general simplification equation
|
changeset |
files
|
| Tue, 06 Jul 2010 08:08:35 -0700 |
huffman |
merged
|
changeset |
files
|