restore order of clauses in TPTP output;
there's a rather subtle invariant w.r.t. "extract_lemmas"
(* Author: Christian Urban TU Muenchen *)
header {* Various examples involving nominal datatypes. *}
theory Nominal_Examples
imports
CR
CR_Takahashi
Class
Compile
Fsub
Height
Lambda_mu
SN
Weakening
Crary
SOS
LocalWeakening
Support
Contexts
Standardization
W
Pattern
begin
end