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.
tuned names;
authorwenzelm
Sat, 14 Dec 2024 22:26:27 +0100
changeset 81593 4bad9c465eef
parent 81592 775dc5903ed5
child 81594 7e1b66416b7f
tuned names;
src/Pure/sign.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/sign.ML	Sat Dec 14 22:04:39 2024 +0100
+++ b/src/Pure/sign.ML	Sat Dec 14 22:26:27 2024 +0100
@@ -220,7 +220,7 @@
 
 fun mk_const thy (c, Ts) = Const (c, const_instance thy (c, Ts));
 
-fun declared_tyname ctxt c = can (Type.the_decl (tsig_of ctxt)) (c, Position.none);
+fun declared_tyname thy c = can (Type.the_decl (tsig_of thy)) (c, Position.none);
 val declared_const = can o the_const_constraint;
isabelle