src/HOL/Quotient_Examples/Quotient_Message.thy
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Mon, 02 Feb 2015 14:01:33 +0100 blanchet fixed typos
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Thu, 11 Sep 2014 18:54:36 +0200 blanchet renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
Mon, 02 Apr 2012 21:26:07 +0100 Christian Urban tuned proofs
Fri, 23 Mar 2012 14:17:29 +0100 kuncar fix Quotient_Examples
less more (0) -10 -6 tip