| Mon, 01 Jun 2015 15:06:09 +0200 | wenzelm | discontinued legacy; | changeset | files |
| Mon, 01 Jun 2015 13:52:35 +0200 | wenzelm | obsolete (see 189c81779a68); | changeset | files |
| Mon, 01 Jun 2015 13:46:23 +0200 | wenzelm | eliminated odd C combinator -- Isabelle/ML usually has canonical argument order; | changeset | files |
| Mon, 01 Jun 2015 13:35:16 +0200 | wenzelm | clarified context; | changeset | files |
| Mon, 01 Jun 2015 13:32:36 +0200 | wenzelm | clarified context; | changeset | files |
| Mon, 01 Jun 2015 11:47:25 +0200 | wenzelm | tuned; | changeset | files |