| Wed, 06 May 2009 16:01:23 +0200 |
haftmann |
refined HOL string theories and corresponding ML fragments
|
changeset |
files
|
| Wed, 06 May 2009 16:01:07 +0200 |
haftmann |
adaptation replaces adaption
|
changeset |
files
|
| Wed, 06 May 2009 16:01:06 +0200 |
haftmann |
explicit type arguments in constants
|
changeset |
files
|
| Wed, 06 May 2009 16:01:06 +0200 |
haftmann |
refined HOL string theories and corresponding ML fragments
|
changeset |
files
|
| Wed, 06 May 2009 16:01:05 +0200 |
haftmann |
tuned description of overloading
|
changeset |
files
|
| Wed, 06 May 2009 16:01:05 +0200 |
haftmann |
confine term setup to Eval serialiser
|
changeset |
files
|
| Wed, 06 May 2009 16:01:05 +0200 |
haftmann |
updated generated file
|
changeset |
files
|
| Wed, 06 May 2009 19:15:40 +0200 |
nipkow |
new lemmas
|
changeset |
files
|
| Wed, 06 May 2009 09:58:24 +0200 |
nipkow |
merged
|
changeset |
files
|
| Wed, 06 May 2009 10:55:47 +1000 |
Timothy Bourke |
Prototype introiff option for find_theorems.
|
changeset |
files
|
| Wed, 06 May 2009 00:57:29 -0700 |
huffman |
replace cont2cont_apply with cont_apply; add new cont2cont lemmas
|
changeset |
files
|
| Wed, 06 May 2009 09:08:47 +0200 |
haftmann |
compatible with preorder; bot and top instances
|
changeset |
files
|
| Mon, 04 May 2009 23:45:58 +0200 |
immler |
updated generated files etc/isar-keywords.el and lib/jedit/isabelle.xml
|
changeset |
files
|
| Mon, 04 May 2009 23:44:11 +0200 |
immler |
tuned
|
changeset |
files
|
| Mon, 04 May 2009 23:37:39 +0200 |
immler |
added Philipp Meyer's implementation of AtpMinimal
|
changeset |
files
|