src/HOL/Extraction/Pigeonhole.thy
Tue, 31 Oct 2006 14:58:16 +0100 haftmann cleaned up
Fri, 20 Oct 2006 10:44:39 +0200 haftmann slight adaption
Tue, 10 Oct 2006 09:17:19 +0200 haftmann added code_constsubst
Mon, 02 Oct 2006 23:00:53 +0200 haftmann added example for code_gen
Tue, 19 Sep 2006 15:21:52 +0200 haftmann added some stuff for code generation 2
Fri, 23 Sep 2005 16:05:42 +0200 nipkow rules -> iprover
Thu, 25 Aug 2005 16:13:09 +0200 berghofe Adapted to new code generator syntax.
Sat, 06 Aug 2005 18:06:56 +0200 berghofe Tuned comment.
Fri, 05 Aug 2005 19:57:57 +0200 berghofe New case study: pigeonhole principle.
less more (0) tip