Integrate local state

isabelle-utp · Feb 21, 2024 · 9dc6ace · 9dc6ace
1 parent 21357f9
commit 9dc6ace
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Shallow_Expressions.thy b/Shallow_Expressions.thy
@@ -1,6 +1,6 @@
 theory Shallow_Expressions
   imports 
     Variables Expressions Unrestriction Substitutions Extension Liberation Quantifiers Collections
-    EDefinitions Schemas
+    EDefinitions Schemas Local_State
 begin end