Skip to content
Commits on Mar 25, 2012
  1. More on elaboration

    Edwin Brady committed Mar 25, 2012
Commits on Feb 16, 2012
  1. Set up .bib

    Edwin Brady committed Feb 16, 2012
Commits on Dec 7, 2011
  1. Added some serialisation

    Edwin Brady committed Dec 7, 2011
Commits on Oct 12, 2011
  1. Add ElabInfo to pass through elaborator

    Edwin Brady committed Oct 12, 2011
Commits on Sep 28, 2011
  1. Better if unification substitutes rather than let binds

    Edwin Brady committed Sep 28, 2011
  2. arg tactic; unification tweak

    Edwin Brady committed Sep 28, 2011
Commits on Sep 27, 2011
  1. Unification, and unify tactic

    Edwin Brady committed Sep 27, 2011
Commits on Sep 26, 2011
Commits on Sep 21, 2011
  1. Some proof state, some showing of terms

    Edwin Brady committed Sep 21, 2011
Commits on Sep 14, 2011
  1. First lot of source files and paper

    Edwin Brady committed Sep 14, 2011
Something went wrong with that request. Please try again.