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.
doc-src/IsarImplementation/Thy/Tactic.thy
changeset 30272 2d612824e642
parent 30270 61811c9224a6
child 32201 3689b647356d
equal deleted inserted replaced
30271:dcf30c9861c3 30272:2d612824e642 
   399   composition, disjunction (choice), iteration, or goal addressing.
 
   399   composition, disjunction (choice), iteration, or goal addressing.
 
   400   Various search strategies may be expressed via tacticals.
 
   400   Various search strategies may be expressed via tacticals.
 
   401 
   401 
   402   \medskip FIXME
 
   402   \medskip FIXME
 
   403 *}
 
   403 *}
 
   404  
   404 
   405 end
 
   405 end
isabelle