| author | paulson <lp15@cam.ac.uk> |
| Thu, 06 Feb 2014 13:04:06 +0000 | |
| changeset 55346 | d344d663658a |
| parent 37358 | 74fb4f03bb51 |
| child 58329 | a31404ec7414 |
| permissions | -rw-r--r-- |
(* Author: Christian Urban TU Muenchen *) header {* Various examples involving nominal datatypes. *} theory Nominal_Examples imports CK_Machine CR CR_Takahashi Class3 Compile Contexts Crary Fsub Height Lambda_mu LocalWeakening Pattern SN SOS Standardization Support Type_Preservation W Weakening begin end