isabelle-cookbook: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 23 Jun 2009 04:05:01 +0200] rev 261

updated to new Isabelle

Christian Urban <urbanc@in.tum.de> [Fri, 05 Jun 2009 04:17:28 +0200] rev 260

updated to lates Isabelle changes

Christian Urban <urbanc@in.tum.de> [Thu, 04 Jun 2009 09:28:29 +0200] rev 259

minor tuning

Christian Urban <urbanc@in.tum.de> [Sun, 31 May 2009 00:39:17 +0200] rev 258

slightly modified index generation

Christian Urban <urbanc@in.tum.de> [Sat, 30 May 2009 23:58:05 +0200] rev 257

corrected index references and minor polishing

Christian Urban <urbanc@in.tum.de> [Sat, 30 May 2009 17:40:20 +0200] rev 256

added some first index-information

Christian Urban <urbanc@in.tum.de> [Sat, 30 May 2009 11:12:46 +0200] rev 255

added infrastructure for index; antiquotations have now the options [index] and [indexc]

Christian Urban <urbanc@in.tum.de> [Fri, 29 May 2009 12:15:48 +0200] rev 254

some slight polishing

Christian Urban <urbanc@in.tum.de> [Thu, 28 May 2009 12:15:50 +0200] rev 253

added comments about ML_prf and ML_val

Christian Urban <urbanc@in.tum.de> [Sat, 23 May 2009 02:19:54 +0200] rev 252

added an example

isabelle-cookbook