twelf - Revision 1901: /branches/twelf-branch-meta-1-0/src/prover

• ..
• data.fun
• data.sig
• elim.fun
• elim.sig
• fill.fun
• fill.sig
• fixedpoint.fun
• fixedpoint.sig
• interactive.fun
• interactive.sig
• introduce.fun
• introduce.sig
• planner.fun
• planner.fun~
• planner.sig
• planner.sig~
• prover.sml
• recurse.sig
• search.fun
• search.sig
• sources.cm
• split.fun
• split.sig
• state.fun
• state.sig
• stateprint.fun
• stateprint.sig
• weaken.fun
• weaken.sig