Theory Simpl

(*  Author:      Norbert Schirmer
    Maintainer:  Norbert Schirmer, norbert.schirmer at web de

Copyright (C) 2006-2008 Norbert Schirmer
*)
(*<*)
theory Simpl
imports
  StateSpace
  AlternativeSmallStep
  SyntaxTest
  "ex/VcgEx"
  "ex/VcgExSP"
  "ex/VcgExTotal"
  "ex/Quicksort"
  "ex/XVcgEx"
  "ex/ProcParEx"
  "ex/ProcParExSP"
  "ex/ClosureEx"
  "ex/ComposeEx"
  UserGuide
begin
end
(*>*)