isabelle-cookbook: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 07 Oct 2009 11:28:40 +0200] rev 335

reorganised the certified terms section; tuned

Christian Urban <urbanc@in.tum.de> [Wed, 07 Oct 2009 09:54:01 +0200] rev 334

tuned

Christian Urban <urbanc@in.tum.de> [Tue, 06 Oct 2009 16:40:37 +0200] rev 333

added fixme

Christian Urban <urbanc@in.tum.de> [Tue, 06 Oct 2009 11:35:00 +0200] rev 332

added the function unabs_def in the conversions section

Christian Urban <urbanc@in.tum.de> [Mon, 05 Oct 2009 11:45:49 +0200] rev 331

used rewrite_goal_tac (instead of rewrite_goals_tac)

Christian Urban <urbanc@in.tum.de> [Sun, 04 Oct 2009 21:56:53 +0200] rev 330

tuned

Christian Urban <urbanc@in.tum.de> [Sat, 03 Oct 2009 19:10:23 +0200] rev 329

more work

Christian Urban <urbanc@in.tum.de> [Sat, 03 Oct 2009 13:01:39 +0200] rev 328

updated to new Isabelle; more work on the data section

Christian Urban <urbanc@in.tum.de> [Fri, 02 Oct 2009 15:38:14 +0200] rev 327

more work on the storing section

Christian Urban <urbanc@in.tum.de> [Thu, 01 Oct 2009 10:19:21 +0200] rev 326