Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
Tue, 21 Dec 2010 09:18:29 +0100 |
haftmann |
canonical handling of theory context argument
|
file |
diff |
annotate
|
Fri, 17 Dec 2010 18:33:35 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Fri, 17 Dec 2010 18:24:44 +0100 |
haftmann |
avoid slightly odd Conv.tap_thy
|
file |
diff |
annotate
|
Fri, 17 Dec 2010 13:45:43 +0100 |
wenzelm |
refer to regular structure Simplifier;
|
file |
diff |
annotate
|
Thu, 16 Dec 2010 09:28:19 +0100 |
haftmann |
more uniform naming
|
file |
diff |
annotate
|
Wed, 15 Dec 2010 09:47:12 +0100 |
haftmann |
simplified evaluation function names
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 15:46:06 +0200 |
haftmann |
no_frees_* is subsumed by new framework mechanisms in Code_Preproc
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 14:42:29 +0200 |
haftmann |
more conventional conversion signature
|
file |
diff |
annotate
|
Fri, 17 Sep 2010 11:05:51 +0200 |
haftmann |
refined static_eval_conv_simple; tuned comments
|
file |
diff |
annotate
|
Thu, 16 Sep 2010 16:51:34 +0200 |
haftmann |
separation of static and dynamic thy context
|
file |
diff |
annotate
|
Thu, 26 Aug 2010 16:34:10 +0200 |
wenzelm |
simplification/standardization of some theory data;
|
file |
diff |
annotate
|
Mon, 23 Aug 2010 11:51:32 +0200 |
haftmann |
use Code_Thingol.static_eval_conv_simple
|
file |
diff |
annotate
|
Mon, 23 Aug 2010 11:09:49 +0200 |
haftmann |
refined and unified naming convention for dynamic code evaluation techniques
|
file |
diff |
annotate
|
Fri, 16 Jul 2010 13:57:29 +0200 |
haftmann |
tuned interpunctation
|
file |
diff |
annotate
|
Thu, 08 Jul 2010 16:19:24 +0200 |
haftmann |
tuned titles
|
file |
diff |
annotate
|
Fri, 18 Jun 2010 15:26:04 +0200 |
haftmann |
code_simp: only succeed on real progress
|
file |
diff |
annotate
|
Fri, 18 Jun 2010 15:03:21 +0200 |
haftmann |
conclude simplification with default simpset
|
file |
diff |
annotate
|
Thu, 17 Jun 2010 15:59:47 +0200 |
haftmann |
more precise code
|
file |
diff |
annotate
|
Thu, 17 Jun 2010 10:45:10 +0200 |
haftmann |
added simp evaluator
|
file |
diff |
annotate
|
Tue, 15 Jun 2010 14:28:22 +0200 |
haftmann |
added code_simp infrastructure
|
file |
diff |
annotate
|