src/HOL/Tools/Mirabelle/mirabelle.ML
changeset 76183 8089593a364a
parent 75080 1dae5cbcd358
child 77723 b761c91c2447
equal deleted inserted replaced
76182:11fed9812b57 76183:8089593a364a
     1 (*  Title:      HOL/Mirabelle/Tools/mirabelle.ML
     1 (*  Title:      HOL/Tools/Mirabelle/mirabelle.ML
     2     Author:     Jasmin Blanchette, TU Munich
     2     Author:     Jasmin Blanchette, TU Munich
     3     Author:     Sascha Boehme, TU Munich
     3     Author:     Sascha Boehme, TU Munich
     4     Author:     Makarius
     4     Author:     Makarius
     5     Author:     Martin Desharnais, UniBw Munich
     5     Author:     Martin Desharnais, UniBw Munich
     6 *)
     6 *)