| Fri, 09 Mar 2012 20:50:28 +0100 | haftmann | reject mapper terms with type variables not contained in the term's type | file | diff | annotate |
| Sun, 04 Mar 2012 11:03:10 +0100 | haftmann | tuned | file | diff | annotate |
| Fri, 28 Oct 2011 22:17:30 +0200 | wenzelm | uniform Local_Theory.declaration with explicit params; | file | diff | annotate |
| Thu, 09 Jun 2011 20:22:22 +0200 | wenzelm | tuned signature: Name.invent and Name.invent_names; | file | diff | annotate |
| Mon, 18 Apr 2011 13:52:23 +0200 | wenzelm | standardized aliases of operations on tsig; | file | diff | annotate |
| Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
| Tue, 11 Jan 2011 14:12:37 +0100 | haftmann | "enriched_type" replaces less specific "type_lifting" | file | diff | annotate | base |