isabelle: Changelog

krauss [Fri, 05 May 2006 17:17:21 +0200] rev 19564

First usable version of the new function definition package (HOL/function_packake/...). Moved Accessible_Part.thy from Library to Main.

haftmann [Fri, 05 May 2006 16:50:58 +0200] rev 19563

added something

urbanc [Fri, 05 May 2006 16:29:27 +0200] rev 19562

added the lemma abs_fun_eq' to the nominal theory, and also added code to nominal_atoms for generating the theorem-list alpha'

huffman [Fri, 05 May 2006 01:40:17 +0200] rev 19561

extensive reformatting and cleaning up code (no changes in functionality)

haftmann [Thu, 04 May 2006 19:49:51 +0200] rev 19560

slight fix

haftmann [Thu, 04 May 2006 19:48:41 +0200] rev 19559

added world map

haftmann [Thu, 04 May 2006 19:48:20 +0200] rev 19558

added js

webertj [Thu, 04 May 2006 12:50:01 +0200] rev 19557

Rat.one added

haftmann [Thu, 04 May 2006 11:34:27 +0200] rev 19556

fixed some flaws

haftmann [Thu, 04 May 2006 10:13:55 +0200] rev 19555

fixed some flaws

isabelle