quotient.ML
Mon, 12 Oct 2009 23:39:14 +0200 Christian Urban slightly modified the parser
Mon, 12 Oct 2009 23:16:20 +0200 Christian Urban deleted diagnostic code
Mon, 12 Oct 2009 23:06:14 +0200 Christian Urban added quotient command (you need to update isar-keywords-prove.el)
less more (0) -3 tip