Mercurial Mercurial > hg > regexp / 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.
Attic/Prefix_subtract.thy
changeset 372 2c56b20032a7
parent 182 560712a29a36 
--- a/Attic/Prefix_subtract.thy	Mon Oct 15 13:23:52 2012 +0000
+++ b/Attic/Prefix_subtract.thy	Mon Dec 03 08:16:58 2012 +0000
@@ -1,5 +1,5 @@
 theory Prefix_subtract
-  imports Main "~~/src/HOL/Library/List_Prefix"
+  imports Main "../List_Prefix"
 begin
regexp