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 |