Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use existing Typ_Graph;
authorwenzelm
Sat, 27 Feb 2010 22:52:25 +0100
changeset 35407 980d4194a212
parent 35406 1f1a1987428a
child 35408 b48ab741683b
use existing Typ_Graph;
src/HOL/Tools/Nitpick/nitpick_kodkod.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Sat Feb 27 22:52:06 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Sat Feb 27 22:52:25 2010 +0100
@@ -55,7 +55,7 @@
 type nfa_entry = typ * nfa_transition list
 type nfa_table = nfa_entry list
 
-structure NfaGraph = Graph(type key = typ val ord = TermOrd.typ_ord)
+structure NfaGraph = Typ_Graph
 
 (* int -> KK.int_expr list *)
 fun flip_nums n = index_seq 1 n @ [0] |> map KK.Num
isabelle