1.1 --- a/libisabelle-1.0.1-protocol/Protocol_Pure.thy	Wed Sep 04 10:17:53 2019 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,8 +0,0 @@
     1.4 -theory Protocol_Pure
     1.5 -imports
     1.6 -  Pure
     1.7 -  "operations/Basic"
     1.8 -  "operations/ML_Expr"
     1.9 -begin
    1.10 -
    1.11 -end
    1.12 \ No newline at end of file