Mercurial Mercurial > repos > isabelle / 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.
src/Pure/Tools/find_theorems.ML
changeset 70545 b93ba98e627a
parent 67721 5348bea4accd
child 74525 c960bfcb91db
equal deleted inserted replaced
70544:16e98f89a29c 70545:b93ba98e627a 
   123 
   123 
   124 
   124 
   125 (* filter_name *)
 
   125 (* filter_name *)
 
   126 
   126 
   127 fun filter_name str_pat (thmref, _) =
 
   127 fun filter_name str_pat (thmref, _) =
 
   128   if match_string str_pat (Facts.name_of_ref thmref)
 
   128   if match_string str_pat (Facts.ref_name thmref)
 
   129   then SOME (0, 0, 0) else NONE;
 
   129   then SOME (0, 0, 0) else NONE;
 
   130 
   130 
   131 
   131 
   132 (* filter intro/elim/dest/solves rules *)
 
   132 (* filter intro/elim/dest/solves rules *)
 
   133 
   133
isabelle