src/HOL/Hoare_Parallel/Hoare_Parallel.thy
author wenzelm
Wed Apr 10 21:20:35 2013 +0200 (2013-04-10)
changeset 51692 ecd34f863242
parent 32621 a073cb249a06
permissions -rw-r--r--
tuned pretty layout: avoid nested Pretty.string_of, which merely happens to work with Isabelle/jEdit since formatting is delegated to Scala side;
declare command "print_case_translations" where it is actually defined;
haftmann@32621
     1
theory Hoare_Parallel
haftmann@32621
     2
imports OG_Examples Gar_Coll Mul_Gar_Coll RG_Examples
haftmann@32621
     3
begin
prensani@13020
     4
haftmann@32621
     5
end