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/Map.sml
author wenzelm
Thu, 29 Apr 2010 17:29:53 +0200
changeset 36507 c966a1aab860
parent 23510 4521fead5609
child 39353 7f11d833d65b
permissions -rw-r--r--
'write': actually observe the proof structure (like 'let' or 'fix');
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 MAPS                                                               *)
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 Map = RandomMap;















isabelle