nipkow [Tue, 12 Mar 2013 11:31:31 +0100] rev 51393
added pairs
nipkow [Tue, 12 Mar 2013 07:51:10 +0100] rev 51392
extended set comprehension notation with {pttrn : A . P}
nipkow [Mon, 11 Mar 2013 18:33:21 +0100] rev 51391
tuned
nipkow [Mon, 11 Mar 2013 12:27:31 +0100] rev 51390
more factorisation of Step & Co
nipkow [Sun, 10 Mar 2013 18:29:10 +0100] rev 51389
factored out Step
nipkow [Sun, 10 Mar 2013 14:36:18 +0100] rev 51388
merged
nipkow [Sun, 10 Mar 2013 14:36:03 +0100] rev 51387
stepwise instantiation is more modular
haftmann [Sun, 10 Mar 2013 11:21:16 +0100] rev 51386
generalized subclass relation;
tuned proof
nipkow [Sun, 10 Mar 2013 10:10:01 +0100] rev 51385
termination proof for narrowing: fewer assumptions
wenzelm [Sat, 09 Mar 2013 18:22:20 +0100] rev 51384
accomodate encrypted file-system on linux;
wenzelm [Sat, 09 Mar 2013 13:01:24 +0100] rev 51383
tuned;
haftmann [Sat, 09 Mar 2013 11:56:01 +0100] rev 51382
discontinued theory src/HOL/Library/Eval_Witness -- assumptions do not longer hold in presence of abstract types
wenzelm [Fri, 08 Mar 2013 17:19:27 +0100] rev 51381
updated keywords (cf. 84d01fd733cf);
blanchet [Fri, 08 Mar 2013 14:15:39 +0100] rev 51380
proper type inference for default values