added generator compilation of higher-order predicates; refined mode analysis for generators; some tuning
(* Title: Mirabelle.thy
Author: Jasmin Blanchette and Sascha Boehme
*)
theory Mirabelle
imports Main
uses "mirabelle.ML"
begin
(* FIXME: use a logfile for each theory file *)
setup Mirabelle.setup
end