Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more VC -> VCG
authornipkow
Fri, 31 May 2013 07:55:09 +0200
changeset 52269 d867812da48b
parent 52268 b28695e5a018
child 52270 19bd34e97e2e
more VC -> VCG
src/HOL/IMP/VCG.thy file | annotate | diff | comparison | revisions
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/IMP/VCG.thy	Fri May 31 07:26:31 2013 +0200
+++ b/src/HOL/IMP/VCG.thy	Fri May 31 07:55:09 2013 +0200
@@ -1,6 +1,6 @@
 (* Author: Tobias Nipkow *)
 
-theory VC imports Hoare begin
+theory VCG imports Hoare begin
 
 subsection "Verification Conditions"
 
--- a/src/HOL/ROOT	Fri May 31 07:26:31 2013 +0200
+++ b/src/HOL/ROOT	Fri May 31 07:55:09 2013 +0200
@@ -129,7 +129,7 @@
     Live
     Live_True
     Hoare_Examples
-    VC
+    VCG
     HoareT
     Collecting1
     Collecting_Examples
isabelle