haftmann [Thu, 20 Sep 2007 16:37:32 +0200] rev 24660
restored ml system independence
haftmann [Thu, 20 Sep 2007 16:37:31 +0200] rev 24659
more permissive
haftmann [Thu, 20 Sep 2007 16:37:30 +0200] rev 24658
clarified code lemmas
haftmann [Thu, 20 Sep 2007 16:37:29 +0200] rev 24657
fixed wrong syntax treatment in class target
haftmann [Thu, 20 Sep 2007 16:37:28 +0200] rev 24656
code lemmas for cardinality
berghofe [Thu, 20 Sep 2007 16:23:12 +0200] rev 24655
- eval_term no longer computes result during compile time
- generated ML code is now compiled via ML_Context.use_mltext
rather than use_text; this makes sure that antiquotations
are expanded
- quickcheck now checks whether types to be substituted for
type variables have correct sorts; this avoids spurious
counterexamples
- execution time for auto_quickcheck is now limited
obua [Thu, 20 Sep 2007 12:10:23 +0200] rev 24654
improved computing
obua [Thu, 20 Sep 2007 12:09:09 +0200] rev 24653
changed lemmas
wenzelm [Wed, 19 Sep 2007 20:45:29 +0200] rev 24652
ml_output: proper error instead of error_msg;
webertj [Wed, 19 Sep 2007 18:48:54 +0200] rev 24651
comment added to explain a potential scheduling problem
nipkow [Wed, 19 Sep 2007 17:16:40 +0200] rev 24650
tuned
nipkow [Wed, 19 Sep 2007 15:26:58 +0200] rev 24649
*** empty log message ***