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.
avoid name clash, really
authorblanchet
Tue, 31 Jan 2012 15:13:18 +0100
changeset 46382 b99ca1a7c63b
parent 46381 ef62c2fafa9e
child 46383 26c422552cfe
avoid name clash, really
src/HOL/Tools/ATP/atp_problem.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_problem.ML	Tue Jan 31 15:10:03 2012 +0100
+++ b/src/HOL/Tools/ATP/atp_problem.ML	Tue Jan 31 15:13:18 2012 +0100
@@ -285,7 +285,7 @@
   | flatten_type _ =
     raise Fail "unexpected higher-order type in first-order format"
 
-val dfg_individual_type = "i" (* shouldn't clash *)
+val dfg_individual_type = "ii" (* cannot clash *)
 
 fun str_for_type format ty =
   let
isabelle