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/Imperative_HOL/ex/Imperative_Quicksort.thy
changeset 72671 588c751a5eef
parent 68110 29da75b7e352
child 81706 7beb0cf38292 
--- a/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy	Fri Nov 20 23:53:37 2020 +0100
+++ b/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy	Sat Nov 21 00:29:41 2020 +0100
@@ -6,7 +6,7 @@
 
 theory Imperative_Quicksort
 imports
-  "~~/src/HOL/Imperative_HOL/Imperative_HOL"
+  "../Imperative_HOL"
   Subarray
   "HOL-Library.Multiset"
   "HOL-Library.Code_Target_Numeral"
isabelle