diff -r fe3dbfd9123b -r 5191a09d9928 PIPDefs.thy --- a/PIPDefs.thy Mon Jan 15 11:35:56 2018 +0000 +++ b/PIPDefs.thy Tue Feb 06 14:38:31 2018 +0000 @@ -269,7 +269,7 @@ *} abbreviation - "all_unlocked \ \_::cs. ([]::thread list)" + "all_unlocked \ \cs::cs. ([]::thread list)" text {*