Wed, 15 Dec 2010 08:34:01 +0100 | bulwahn | adding an Isar version of the MacLaurin theorem from some students' work in 2005 | changeset | files |
Tue, 14 Dec 2010 00:16:30 +0100 | krauss | Admin/contributed_components tries to formalize compatibility with external components (for use e.g. by testing tools), guessing from the content of TUM contrib_devel directory | changeset | files |
Mon, 13 Dec 2010 22:54:47 +0100 | haftmann | separated dictionary weakning into separate type | changeset | files |
Mon, 13 Dec 2010 10:15:27 +0100 | krauss | eliminated dest_all_all_ctx | changeset | files |
Mon, 13 Dec 2010 10:15:26 +0100 | krauss | private term variant of Variable.focus | changeset | files |
Mon, 13 Dec 2010 08:51:52 +0100 | bulwahn | adding an executable THE operator on finite types | changeset | files |