Permalink

	Failed to load latest commit information.
	src	Simplify interactive; documentation.	Aug 11, 2015
	LICENSE	Initial import.	Aug 9, 2015
	README.md	Simplify interactive; documentation.	Aug 11, 2015
	Setup.hs	Initial import.	Aug 9, 2015
	plc.cabal	Basic interactive prover now works.	Aug 10, 2015