isabelle: Changelog

blanchet [Wed, 01 May 2013 19:33:49 +0200] rev 51850

renamed a few FP-related files, to make it clear that these are not the sum of LFP + GFP but rather shared basic libraries

nipkow [Wed, 01 May 2013 06:00:55 +0200] rev 51849

tuned

nipkow [Wed, 01 May 2013 03:56:57 +0200] rev 51848

tuned

blanchet [Tue, 30 Apr 2013 21:30:36 +0200] rev 51847

tuning

blanchet [Tue, 30 Apr 2013 18:43:48 +0200] rev 51846

export more functions (useful for primrec_new)

blanchet [Tue, 30 Apr 2013 17:22:51 +0200] rev 51845

further enrich data structure

blanchet [Tue, 30 Apr 2013 16:50:09 +0200] rev 51844

blanchet [Tue, 30 Apr 2013 16:42:23 +0200] rev 51843

rationalized terminology (iterator = fold or rec, xxfoo = (co)foo or (un)foo)

blanchet [Tue, 30 Apr 2013 16:29:31 +0200] rev 51842

added fields to database

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

tuned data structure

isabelle