| Wed, 23 Sep 2015 14:11:35 +0100 | paulson | Useful facts about min/max, etc. | changeset | files |
| Wed, 23 Sep 2015 11:52:15 +0100 | paulson | Merge | changeset | files |
| Wed, 23 Sep 2015 11:36:07 +0100 | paulson | fixed a VERY SLOW proof | changeset | files |
| Tue, 22 Sep 2015 16:55:49 +0100 | paulson | SOME rather than THE makes it easy to prove equivalence with other forms of derivatives | changeset | files |
| Tue, 22 Sep 2015 16:55:07 +0100 | paulson | New lemmas | changeset | files |
| Tue, 22 Sep 2015 16:53:59 +0100 | paulson | Prepared two non-terminating proofs; no obvious link with my changes | changeset | files |
| Wed, 23 Sep 2015 09:47:04 +0200 | nipkow | added AVL and lookup function | changeset | files |
| Wed, 23 Sep 2015 09:14:22 +0200 | nipkow | tuned | changeset | files |
| Tue, 22 Sep 2015 17:13:13 +0200 | nipkow | merged | changeset | files |
| Tue, 22 Sep 2015 17:13:01 +0200 | nipkow | unified isin-proofs | changeset | files |
| Tue, 22 Sep 2015 16:05:19 +0200 | haftmann | tuned | changeset | files |
| Tue, 22 Sep 2015 12:10:25 +0200 | haftmann | include some data structures into code generation | changeset | files |
| Tue, 22 Sep 2015 11:48:22 +0200 | haftmann | effective revert of e6b1236f9b3d: spontaneous eta-contraction happens on the print translation level and can only be suppressed on the print translation level | changeset | files |
| Tue, 22 Sep 2015 14:31:22 +0200 | nipkow | tuned references | changeset | files |
| Tue, 22 Sep 2015 08:38:25 +0200 | nipkow | added red black trees | changeset | files |
| Mon, 21 Sep 2015 23:22:11 +0200 | wenzelm | clarified markup; | changeset | files |
| Mon, 21 Sep 2015 21:46:14 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Mon, 21 Sep 2015 21:43:09 +0200 | wenzelm | merged | changeset | files |
| Mon, 21 Sep 2015 20:45:57 +0200 | wenzelm | tuned GUI; | changeset | files |
| Mon, 21 Sep 2015 20:31:43 +0200 | wenzelm | removed auto update -- bad reactivity; | changeset | files |
| Mon, 21 Sep 2015 20:21:29 +0200 | wenzelm | clarified isabelle.update-state; | changeset | files |
| Mon, 21 Sep 2015 17:59:21 +0200 | wenzelm | more reactive update, like Output panel; | changeset | files |
| Mon, 21 Sep 2015 17:42:31 +0200 | wenzelm | added isabelle update_then; | changeset | files |
| Mon, 21 Sep 2015 17:01:33 +0200 | wenzelm | NEWS; | changeset | files |