src/HOL/ex/Eval_Examples.thy
Tue, 14 Jul 2009 16:27:30 +0200 haftmann more canonical import
Fri, 20 Feb 2009 18:29:09 +0100 haftmann stripped Id
Wed, 03 Dec 2008 15:58:44 +0100 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
Tue, 16 Sep 2008 09:21:22 +0200 haftmann generic value command
less more (0) -10 -4 tip