Mercurial Mercurial > hg > regexp / comparison
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
equal deleted inserted replaced
371:48b231495281 372:2c56b20032a7 
     1 theory Prefix_subtract
 
     1 theory Prefix_subtract
 
     2   imports Main "~~/src/HOL/Library/List_Prefix"
 
     2   imports Main "../List_Prefix"
 
     3 begin
 
     3 begin
 
     4 
     4 
     5 
     5 
     6 section {* A small theory of prefix subtraction *}
 
     6 section {* A small theory of prefix subtraction *}
 
     7 
     7
regexp