| Wed, 27 Apr 2011 10:49:39 +0200 | wenzelm | eliminated obsolete Function_Lib.frees_in_term; | file | diff | annotate |
| Sat, 16 Apr 2011 16:29:13 +0200 | wenzelm | observe firm naming convention ctxt: Proof.context; | file | diff | annotate |
| Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
| Sun, 12 Dec 2010 21:41:01 +0100 | krauss | tuned headers | file | diff | annotate |
| Sat, 02 Jan 2010 23:18:58 +0100 | krauss | new year's resolution: reindented code in function package | file | diff | annotate |
| Mon, 23 Nov 2009 15:05:59 +0100 | krauss | eliminated dead code and some unused bindings, reported by polyml | file | diff | annotate |
| Fri, 23 Oct 2009 16:22:10 +0200 | krauss | function package: more standard names for structures and files | file | diff | annotate |