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'
less more (0) -10 -4 tip