| Tue, 12 Nov 2013 14:24:34 +0100 | blanchet | ported part of function package to new 'Ctr_Sugar' abstraction | file | diff | annotate |
| Tue, 12 Nov 2013 14:00:56 +0100 | blanchet | undid copy-paste | file | diff | annotate |
| 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 |