| Thu, 16 Dec 2010 09:40:15 +0100 | haftmann | more appropriate closures for static evaluation | file | diff | annotate |
| Wed, 15 Dec 2010 09:47:12 +0100 | haftmann | simplified evaluation function names | file | diff | annotate |
| Tue, 26 Oct 2010 12:19:22 +0200 | haftmann | tuned | file | diff | annotate |
| Tue, 26 Oct 2010 12:15:55 +0200 | haftmann | dropped accidental doubled computation | file | diff | annotate |
| Tue, 21 Sep 2010 15:46:05 +0200 | haftmann | avoid frees and vars in terms to be evaluated by abstracting and applying | file | diff | annotate |
| Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | separation of static and dynamic thy context | file | diff | annotate |
| Wed, 15 Sep 2010 15:11:39 +0200 | haftmann | ignore code cache optionally; corrected scope of term value in static_eval_conv | file | diff | annotate |
| Sun, 05 Sep 2010 19:47:40 +0200 | wenzelm | pretty printing: prefer regular Proof.context over Pretty.pp, which is mostly for special bootstrap purposes involving theory merge, for example; | file | diff | annotate |