Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Metis/src/Set.sml
author blanchet
Sat, 07 Mar 2009 12:26:56 +0100
changeset 30347 91f73b2997f9
parent 23510 4521fead5609
child 39353 7f11d833d65b
permissions -rw-r--r--
Refute: Distinguish between "genuine" and "potential" in the newly added "expect" option.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
23442
028e39e5e8f3 The Metis prover (slightly modified version from Larry);
wenzelm
parents:
diff changeset 
     1
 
(* ========================================================================= *)
028e39e5e8f3 The Metis prover (slightly modified version from Larry);
wenzelm
parents:
diff changeset 
     2
 
(* FINITE SETS                                                               *)
23510
4521fead5609 GPL -> BSD
paulson
parents: 23442
diff changeset 
     3
 
(* Copyright (c) 2004-2006 Joe Hurd, distributed under the BSD License *)
23442
028e39e5e8f3 The Metis prover (slightly modified version from Larry);
wenzelm
parents:
diff changeset 
     4
 
(* ========================================================================= *)
028e39e5e8f3 The Metis prover (slightly modified version from Larry);
wenzelm
parents:
diff changeset 
     5
 












028e39e5e8f3
The Metis prover (slightly modified version from Larry);



wenzelm


parents: 

diff
changeset




     6


structure Set = RandomSet;















isabelle