
diff -r 5b01f7c233f8 -r a33d3040bf7e thys/PosixTest.thy
--- a/thys/PosixTest.thy	Tue Feb 02 02:27:16 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-theory PosixTest
-imports Main
-begin
-
-
-
-
-end




