Thu, 20 Dec 2007 12:02:46 +0100 |
wenzelm |
updated HOL-Nominal-Examples deps;
|
changeset |
files
|
Thu, 20 Dec 2007 11:16:19 +0100 |
wenzelm |
made refute non-critical (seems to work after avoiding floating point random numbers);
|
changeset |
files
|
Thu, 20 Dec 2007 03:06:20 +0100 |
huffman |
move bottom-related stuff back into Pcpo.thy
|
changeset |
files
|
Thu, 20 Dec 2007 01:07:21 +0100 |
urbanc |
polishing of some proofs
|
changeset |
files
|
Thu, 20 Dec 2007 00:19:40 +0100 |
wenzelm |
Random.range_real makes SML/NJ happy;
|
changeset |
files
|
Wed, 19 Dec 2007 23:49:28 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
Wed, 19 Dec 2007 23:42:20 +0100 |
wenzelm |
tuned RandomWord signature;
|
changeset |
files
|
Wed, 19 Dec 2007 23:10:17 +0100 |
wenzelm |
removed strange MacRoman character;
|
changeset |
files
|
Wed, 19 Dec 2007 23:06:16 +0100 |
wenzelm |
using RandomWord from Isabelle/Pure gains factor 10-20 speedup;
|
changeset |
files
|
Wed, 19 Dec 2007 23:06:16 +0100 |
wenzelm |
updated;
|
changeset |
files
|
Wed, 19 Dec 2007 23:06:14 +0100 |
wenzelm |
added General/random_word.ML;
|
changeset |
files
|
Wed, 19 Dec 2007 23:06:14 +0100 |
wenzelm |
Simple generator for pseudo-random numbers, using unboxed word arithmetic only.
|
changeset |
files
|
Wed, 19 Dec 2007 23:06:13 +0100 |
wenzelm |
removed duplicate CRITICAL markup;
|
changeset |
files
|
Wed, 19 Dec 2007 22:34:03 +0100 |
haftmann |
instantiation target
|
changeset |
files
|
Wed, 19 Dec 2007 22:33:44 +0100 |
haftmann |
tuned primitive inferences
|
changeset |
files
|