isabelle: src/HOL/Nominal/Examples/ROOT.ML@9491bec20595 (annotated)

19495 3d04b87ad8ba New ROOT file for nominal datatype examples. berghofe parents: diff changeset	1
32635 37e32f8aa696 added session theory for Nominal_Examples haftmann parents: 28654 diff changeset	2	use_thy "Nominal_Examples";
24895 7cbb842aa99e added two new example files urbanc parents: 24153 diff changeset	3
32635 37e32f8aa696 added session theory for Nominal_Examples haftmann parents: 28654 diff changeset	4	setmp_noncritical quick_and_dirty true use_thy "VC_Condition"; (FIXME)