src/HOL/Nominal/Examples/Nominal_Examples.thy
author wenzelm
Sun, 30 May 2010 23:42:03 +0200
changeset 37201 8517a650cfdc
parent 36277 9be4ab2acc13
child 37358 74fb4f03bb51
permissions -rw-r--r--
control tooltip font via Swing HTML, with tooltip-font-size property;

(*  Author:  Christian Urban TU Muenchen *)

header {* Various examples involving nominal datatypes. *}

theory Nominal_Examples
imports
  CR
  CR_Takahashi
  Class3
  Compile
  Fsub
  Height
  Lambda_mu
  SN
  Weakening
  Crary
  SOS
  LocalWeakening
  Support
  Contexts
  Standardization
  W
  Pattern
begin

end