Quelle  utp.thy   Sprache: Isabelle

(******************************************************************************)
(* Project: The Isabelle/UTP Proof System                                     *)
(* File: utp.thy                                                              *)
(* Authors: Simon Foster and Frank Zeyda (University of York, UK)             *)
(* Emails: simon.foster@york.ac.uk and frank.zeyda@york.ac.uk                 *)
(******************************************************************************)

section ‹ Meta-theory for the Standard Core ›

theory utp
imports
  utp_var
  utp_expr
  utp_expr_insts
  utp_expr_funcs
  utp_unrest
  utp_usedby
  utp_subst
  utp_meta_subst
  utp_alphabet
  utp_lift
  utp_pred
  utp_pred_laws
  utp_recursion
  utp_dynlog
  utp_rel
  utp_rel_laws
  utp_sequent
  utp_state_parser
  utp_sym_eval
  utp_tactics
  utp_hoare
  utp_wp
  utp_sp
  utp_theory
  utp_concurrency
  utp_rel_opsem
begin end