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.
Args.local_typ_abbrev;
authorwenzelm
Thu, 09 Jun 2005 12:03:32 +0200
changeset 16345 b035482bed02
parent 16344 a52fe1277902
child 16346 baa7b5324fc1
Args.local_typ_abbrev;
src/Pure/Isar/isar_output.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_output.ML	Thu Jun 09 12:03:31 2005 +0200
+++ b/src/Pure/Isar/isar_output.ML	Thu Jun 09 12:03:32 2005 +0200
@@ -399,7 +399,7 @@
   ("term_type", args Args.local_term (output_with pretty_term_typ)),
   ("typeof", args Args.local_term (output_with pretty_term_typeof)),
   ("const", args Args.local_term (output_with pretty_term_const)),
-  ("typ", args Args.local_typ_raw (output_with ProofContext.pretty_typ)),
+  ("typ", args Args.local_typ_abbrev (output_with ProofContext.pretty_typ)),
   ("text", args (Scan.lift Args.name) (output_with (K pretty_text))),
   ("goals", output_goals true),
   ("subgoals", output_goals false),
isabelle