/-
Copyright (c) 2014 Microsoft Corporation. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Leonardo de Moura
-/
prelude
import init.datatypes init.logic
import init.relation init.nat init.prod init.sum init.combinator
import init.bool init.unit init.num init.sigma init.setoid init.quot
import init.funext init.function init.subtype init.classical
import init.monad init.option init.state init.fin init.list init.char init.string init.to_string
import init.monad_combinators
import init.timeit init.trace init.unsigned init.ordering init.list_classes init.coe
import init.wf init.nat_div init.meta init.instances
import init.wf_k init.sigma_lex
import init.simplifier init.id_locked
