| Mon, 01 Jun 2015 13:46:23 +0200 | wenzelm | eliminated odd C combinator -- Isabelle/ML usually has canonical argument order; | file | diff | annotate |
| Sun, 16 Jan 2011 15:53:03 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 31 May 2007 13:18:52 +0200 | wenzelm | moved TFL files to canonical place; | file | diff | annotate |