isabelle: Changelog

aspinall [Wed, 22 Nov 2006 12:01:59 +0100] rev 21464

Fix to local file URI syntax. Add first part of lexicalstructure command support.

haftmann [Wed, 22 Nov 2006 10:22:04 +0100] rev 21463

completed class parameter handling in axclass.ML

haftmann [Wed, 22 Nov 2006 10:21:17 +0100] rev 21462

added Isar syntax for adding parameters to axclasses

haftmann [Wed, 22 Nov 2006 10:20:22 +0100] rev 21461

forced name prefix for class operations

haftmann [Wed, 22 Nov 2006 10:20:20 +0100] rev 21460

example tuned

haftmann [Wed, 22 Nov 2006 10:20:19 +0100] rev 21459

no explicit check for theory Nat

haftmann [Wed, 22 Nov 2006 10:20:18 +0100] rev 21458

added code lemmas

haftmann [Wed, 22 Nov 2006 10:20:17 +0100] rev 21457

does not import Hilber_Choice any longer

haftmann [Wed, 22 Nov 2006 10:20:16 +0100] rev 21456

cleanup

haftmann [Wed, 22 Nov 2006 10:20:15 +0100] rev 21455

incorporated structure HOList into HOLogic

isabelle