# HG changeset patch
# User zhangx
# Date 1453970206 -28800
# Node ID 2056d9f481e215cafb42d476eb184f58e8af49ff
# Parent  83dd5345d5d000328d0397c6d2c0506a7d3cd345
Slightly modified ExtGG.thy and PrioG.thy.

diff -r 83dd5345d5d0 -r 2056d9f481e2 ExtGG.thy
--- a/ExtGG.thy	Thu Jan 28 16:33:49 2016 +0800
+++ b/ExtGG.thy	Thu Jan 28 16:36:46 2016 +0800
@@ -1,4 +1,3 @@
-<<<<<<< local
 section {*
   This file contains lemmas used to guide the recalculation of current precedence 
   after every system call (or system operation)
@@ -1628,6 +1627,3 @@
 end
 end
 
-
-
->>>>>>> other
diff -r 83dd5345d5d0 -r 2056d9f481e2 PrioG.thy
--- a/PrioG.thy	Thu Jan 28 16:33:49 2016 +0800
+++ b/PrioG.thy	Thu Jan 28 16:36:46 2016 +0800
@@ -1,6 +1,5 @@
-<<<<<<< local
-theory Correctness
-imports PIPBasics
+theory PrioG
+imports CpsG
 begin
 
 
@@ -1610,4 +1609,3 @@
 
 end
 end
->>>>>>> other