2011-06-19 soem polishing
Christian Urban <urbanc@in.tum.de> [Mon, 20 Jun 2011 00:30:32 +0100] rev 467
soem polishing
2011-06-17 a little polishing
Christian Urban <urbanc@in.tum.de> [Fri, 17 Jun 2011 16:58:05 +0100] rev 466
a little polishing
2011-06-14 updated to new Isabelle
Christian Urban <urbanc@in.tum.de> [Tue, 14 Jun 2011 22:09:40 +0100] rev 465
updated to new Isabelle
2011-05-17 updated to new Isabelle
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 19:46:53 +0200] rev 464
updated to new Isabelle
2011-05-17 merged
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 19:25:33 +0200] rev 463
merged
2011-05-17 updated to new Isabelle
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 18:11:21 +0100] rev 462
updated to new Isabelle
2011-04-19 updated
Christian Urban <urbanc@in.tum.de> [Tue, 19 Apr 2011 13:02:43 +0100] rev 461
updated
2011-04-06 Updated to changes in timing structure
Christian Urban <urbanc@in.tum.de> [Thu, 07 Apr 2011 00:25:26 +0100] rev 460
Updated to changes in timing structure
2011-03-18 updated to new Isabelle
Christian Urban <urbanc@in.tum.de> [Fri, 18 Mar 2011 02:53:14 +0100] rev 459
updated to new Isabelle
2011-02-23 updated to post-2011 Isabelle
Christian Urban <urbanc@in.tum.de> [Wed, 23 Feb 2011 23:55:37 +0000] rev 458
updated to post-2011 Isabelle
2010-10-29 'Iff_Oracle.thy' has moved
griff [Fri, 29 Oct 2010 13:46:37 +0200] rev 457
'Iff_Oracle.thy' has moved
2010-10-29 'nat_number' was renamed to 'eval_nat_numeral'
griff [Fri, 29 Oct 2010 13:16:45 +0200] rev 456
'nat_number' was renamed to 'eval_nat_numeral'
2010-10-29 tracing_fn was moved to Output.Private_Hooks
griff [Fri, 29 Oct 2010 13:10:33 +0200] rev 455
tracing_fn was moved to Output.Private_Hooks
2010-10-29 corrected AFP name
griff [Fri, 29 Oct 2010 13:00:33 +0200] rev 454
corrected AFP name
(0) -300 -100 -14 +14 +100 tip