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.
*** empty log message ***
authornipkow
Thu, 26 Jun 2003 18:20:00 +0200
changeset 14075 ab2e26ae90e3
parent 14074 93dfce3b6f86
child 14076 5cfc8b9fb880
*** empty log message ***
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Jun 26 18:14:04 2003 +0200
+++ b/src/HOL/IsaMakefile	Thu Jun 26 18:20:00 2003 +0200
@@ -280,7 +280,8 @@
   Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \
   Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
   Hoare/ROOT.ML Hoare/ExamplesAbort.thy  Hoare/HeapSyntaxAbort.thy \
-  Hoare/hoareAbort.ML Hoare/HoareAbort.thy
+  Hoare/hoareAbort.ML Hoare/HoareAbort.thy Hoare/SchorrWaite.thy \
+  Hoare/Separation.thy Hoare/SepLogHeap.thy
 	@$(ISATOOL) usedir $(OUT)/HOL Hoare
isabelle