src/CTT/Main.thy
author traytel
Mon, 24 Oct 2016 16:53:32 +0200
changeset 64379 71f42dcaa1df
parent 63505 42e1dece537a
child 64980 7dc25cf5793e
permissions -rw-r--r--
additional user-specified simp (naturality) rules used in friend_of_corec

section \<open>Main includes everything\<close>

theory Main
  imports CTT Arith Bool
begin
end