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.
proper import for command 'permanent_interpretation';
authorwenzelm
Fri, 07 Nov 2014 16:22:25 +0100
changeset 58927 cf47382db395
parent 58926 baf5a3c28f0c
child 58928 23d0ffd48006
proper import for command 'permanent_interpretation';
src/HOL/IMP/Abs_Int_ITP/Collecting_ITP.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/IMP/Abs_Int_ITP/Collecting_ITP.thy	Fri Nov 07 16:13:05 2014 +0100
+++ b/src/HOL/IMP/Abs_Int_ITP/Collecting_ITP.thy	Fri Nov 07 16:22:25 2014 +0100
@@ -1,5 +1,5 @@
 theory Collecting_ITP
-imports Complete_Lattice_ix "ACom_ITP"
+imports "~~/src/Tools/Permanent_Interpretation" Complete_Lattice_ix "ACom_ITP"
 begin
 
 subsection "Collecting Semantics of Commands"
isabelle