isabelle: Changelog

blanchet [Tue, 30 Apr 2013 16:18:21 +0200] rev 51841

tuned data structure

blanchet [Tue, 30 Apr 2013 16:04:50 +0200] rev 51840

renamed records

blanchet [Tue, 30 Apr 2013 15:58:32 +0200] rev 51839

added constructors to data structure

blanchet [Tue, 30 Apr 2013 13:45:43 +0200] rev 51838

added pre-BNFs to database

blanchet [Tue, 30 Apr 2013 13:38:41 +0200] rev 51837

lowercase type constructor, for consistency (cf. fp_result not FP_result nor FP_Result)

blanchet [Tue, 30 Apr 2013 13:34:31 +0200] rev 51836

renamed "bnf_def" keyword to "bnf" (since it's not a definition, but rather a registration)

blanchet [Tue, 30 Apr 2013 13:23:52 +0200] rev 51835

Added maps, sets, rels to "simps" thm collection

nipkow [Tue, 30 Apr 2013 12:26:41 +0200] rev 51834

tuned

blanchet [Tue, 30 Apr 2013 12:18:40 +0200] rev 51833

comment tuning

blanchet [Tue, 30 Apr 2013 12:13:28 +0200] rev 51832

tuning

isabelle