src/HOL/Hoare_Parallel/OG_Com.thy
2010-09-08 haftmann 2010-09-08 modernized primrec
2009-09-21 haftmann 2009-09-21 theory entry point for session Hoare_Parallel (now also with proper underscore)