new directory structure

README.md

adlib/bootstrap.lp

adlib/induction.lp

adlib/nat.lp

adlib/subtype.lp

alternatives/adlib/core/nat.lp

alternatives/adlib/core/nat_ops.lp

alternatives/prelude/core/boolean_props.lp

alternatives/prelude/core/booleans.lp

alternatives/prelude/core/equalities.lp

alternatives/prelude/core/if_def.lp

alternatives/prelude/core/notequal.lp

alternatives/prelude/core/quantifier_props.lp

alternatives/prelude/core/xor_def.lp

alternatives/sandbox/core/rat.lp

alternatives/sandbox/core/rat_explicit.lp

lambdapi.pkg

prelude/functions.lp

prelude/logic.lp

prelude/numbers.lp