| Fri, 10 Jul 2009 07:59:27 +0200 |
haftmann |
dropped find_index_eq
|
file |
diff |
annotate
|
| Mon, 08 Jun 2009 18:37:35 +0200 |
hoelzl |
Added new evaluator "approximate"
|
file |
diff |
annotate
|
| Wed, 24 Jun 2009 21:28:02 +0200 |
wenzelm |
renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
|
file |
diff |
annotate
|
| Wed, 03 Jun 2009 15:48:54 +0200 |
hoelzl |
Converted reification to use fold_map instead of Library.foldl_map. Use antiquotations.
|
file |
diff |
annotate
|
| Wed, 03 Jun 2009 11:33:16 +0200 |
hoelzl |
Removed usage of reference in reification
|
file |
diff |
annotate
|
| Tue, 02 Jun 2009 18:38:13 +0200 |
hoelzl |
corrected spacing in reflection
|
file |
diff |
annotate
|
| Fri, 24 Apr 2009 08:24:52 +0200 |
haftmann |
added helpless comment
|
file |
diff |
annotate
|
| Fri, 27 Mar 2009 12:22:02 +0100 |
haftmann |
dropped infix union
|
file |
diff |
annotate
|
| Fri, 27 Feb 2009 18:03:47 +0100 |
wenzelm |
eliminated private clones of List.partition;
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 11:19:44 +0100 |
hoelzl |
Proof method 'reify' is now reentrant.
|
file |
diff |
annotate
|
| Thu, 05 Feb 2009 11:49:15 +0100 |
hoelzl |
Add approximation method
|
file |
diff |
annotate
|
| Wed, 28 Jan 2009 11:04:10 +0100 |
haftmann |
Reflection.thy now in HOL/Library
|
file |
diff |
annotate
| base
|