src/HOL/Nominal/Examples/Nominal_Examples.thy
author wenzelm
Sun Nov 02 18:21:45 2014 +0100 (2014-11-02)
changeset 58889 5b7a9633cfa8
parent 58329 a31404ec7414
permissions -rw-r--r--
modernized header uniformly as section;
     1 (*  Author:  Christian Urban TU Muenchen *)
     2 
     3 section {* Various examples involving nominal datatypes. *}
     4 
     5 theory Nominal_Examples
     6 imports Nominal_Examples_Base Class3
     7 begin
     8 
     9 end