Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/UNITY/Comp/AllocBase.thy
changeset 13786 ab8f39f48a6f
parent 11194 ea13ff5a26d1
child 13798 4c1a53627500 
--- a/src/HOL/UNITY/Comp/AllocBase.thy	Fri Jan 24 14:06:49 2003 +0100
+++ b/src/HOL/UNITY/Comp/AllocBase.thy	Fri Jan 24 18:13:59 2003 +0100
@@ -6,7 +6,7 @@
 Common declarations for Chandy and Charpentier's Allocator
 *)
 
-AllocBase = Rename + Follows + 
+AllocBase = UNITY_Main + 
 
 consts
   NbT      :: nat       (*Number of tokens in system*)
isabelle