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/HOL/Mirabelle/Mirabelle.thy
changeset 32564 378528d2f7eb
parent 32496 4ab00a2642c3
child 39155 3e94ebe282f1
equal deleted inserted replaced
32563:c4a12569de89 32564:378528d2f7eb 
     1 (* Title: Mirabelle.thy
 
     1 (*  Title:      HOL/Mirabelle/Mirabelle.thy
 
     2    Author: Jasmin Blanchette and Sascha Boehme
 
     2     Author:     Jasmin Blanchette and Sascha Boehme, TU Munich
 
     3 *)
 
     3 *)
 
     4 
     4 
     5 theory Mirabelle
 
     5 theory Mirabelle
 
     6 imports Pure
 
     6 imports Pure
 
     7 uses "Tools/mirabelle.ML"
 
     7 uses "Tools/mirabelle.ML"
isabelle