| Thu, 19 Mar 2009 11:51:49 +0100 | wenzelm | merged | changeset | files |
| Thu, 19 Mar 2009 01:29:19 -0700 | huffman | imported patch euclidean | changeset | files |
| Wed, 18 Mar 2009 22:17:23 +0100 | ballarin | Merged. | changeset | files |
| Wed, 18 Mar 2009 22:14:58 +0100 | ballarin | Updated chapters 1-5 to locale reimplementation. | changeset | files |
| Thu, 19 Mar 2009 11:47:05 +0100 | wenzelm | command 'use', 'ML': apply ML environment to theory and target as well; | changeset | files |
| Thu, 19 Mar 2009 11:44:34 +0100 | wenzelm | added map_contexts (cf. Proof.map_contexts); | changeset | files |
| Thu, 19 Mar 2009 11:20:22 +0100 | wenzelm | tuned; | changeset | files |