Thu, 16 Feb 2006 23:40:32 +0100 use VectorScannerSeq instead of ListScannerSeq in xml.ML
obua [Thu, 16 Feb 2006 23:40:32 +0100] rev 19091
use VectorScannerSeq instead of ListScannerSeq in xml.ML
Thu, 16 Feb 2006 23:31:32 +0100 removed lazy_scan
obua [Thu, 16 Feb 2006 23:31:32 +0100] rev 19090
removed lazy_scan
Thu, 16 Feb 2006 23:30:47 +0100 improved scanning
obua [Thu, 16 Feb 2006 23:30:47 +0100] rev 19089
improved scanning
Thu, 16 Feb 2006 21:15:38 +0100 tuned;
wenzelm [Thu, 16 Feb 2006 21:15:38 +0100] rev 19088
tuned;
Thu, 16 Feb 2006 21:12:03 +0100 Abstract Natural Numbers with polymorphic recursion.
wenzelm [Thu, 16 Feb 2006 21:12:03 +0100] rev 19087
Abstract Natural Numbers with polymorphic recursion.
Thu, 16 Feb 2006 21:12:00 +0100 new-style definitions/abbreviations;
wenzelm [Thu, 16 Feb 2006 21:12:00 +0100] rev 19086
new-style definitions/abbreviations;
Thu, 16 Feb 2006 21:11:58 +0100 added ex/Abstract_NAT.thy;
wenzelm [Thu, 16 Feb 2006 21:11:58 +0100] rev 19085
added ex/Abstract_NAT.thy;
Thu, 16 Feb 2006 19:39:02 +0100 tuned;
wenzelm [Thu, 16 Feb 2006 19:39:02 +0100] rev 19084
tuned;
Thu, 16 Feb 2006 19:10:47 +0100 tuned;
wenzelm [Thu, 16 Feb 2006 19:10:47 +0100] rev 19083
tuned;
Thu, 16 Feb 2006 18:59:39 +0100 removed silly stuff
haftmann [Thu, 16 Feb 2006 18:59:39 +0100] rev 19082
removed silly stuff
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip