Fri, 15 May 2009 16:39:16 +0200 | haftmann | hide names in theory Random | file | diff | annotate |
Fri, 13 Mar 2009 08:16:18 +0100 | haftmann | dropped spurious `quote` tags | file | diff | annotate |
Thu, 12 Mar 2009 18:01:25 +0100 | haftmann | tuned | file | diff | annotate |
Fri, 06 Feb 2009 15:15:32 +0100 | haftmann | session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there | file | diff | annotate |
Fri, 06 Feb 2009 09:05:19 +0100 | haftmann | mandatory prefix for index conversion operations | file | diff | annotate |
Thu, 05 Feb 2009 14:14:02 +0100 | haftmann | moved Random.thy to Library | file | diff | annotate | base |