| 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 |