isabelle: Changelog

paulson [Fri, 22 Dec 2006 20:58:14 +0100] rev 21899

string primtives

haftmann [Fri, 22 Dec 2006 15:35:17 +0100] rev 21898

deactivated test for the moment

paulson [Fri, 22 Dec 2006 14:24:04 +0100] rev 21897

fixed typo in comment

ballarin [Fri, 22 Dec 2006 14:03:30 +0100] rev 21896

Experimenting with interpretations of "definition".

haftmann [Thu, 21 Dec 2006 13:55:15 +0100] rev 21895

clarified code

haftmann [Thu, 21 Dec 2006 13:55:14 +0100] rev 21894

dropped superfluos code

haftmann [Thu, 21 Dec 2006 13:55:13 +0100] rev 21893

code clarifications

haftmann [Thu, 21 Dec 2006 13:55:12 +0100] rev 21892

import path made absolute

haftmann [Thu, 21 Dec 2006 13:55:11 +0100] rev 21891

added code lemmas for quantification over bounded nats

aspinall [Thu, 21 Dec 2006 08:42:53 +0100] rev 21890

Disable new Proof General code until SML/NJ compile fixed.

isabelle