diff options
author | Josh Chen | 2019-02-10 10:55:37 +0100 |
---|---|---|
committer | Josh Chen | 2019-02-10 10:55:37 +0100 |
commit | 91dc4798571fa99d68ced7ba098c958fca94c477 (patch) | |
tree | 7722da549c85f3dc8ee790f6f98b70cc8d74177b /Prod.thy | |
parent | 923cfeea84cdc4292d38925e2cf6aaf07301db9c (diff) |
restructure library
Diffstat (limited to 'Prod.thy')
-rw-r--r-- | Prod.thy | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -79,7 +79,7 @@ syntax "_compose" :: "[t, t] \<Rightarrow> t" (infixr "o" 110) parse_translation \<open> let fun compose_tr ctxt [g, f] = let - val [g, f] = [g, f] |> map (Typing.prep_term ctxt) + val [g, f] = [g, f] |> map (Util.prep_term ctxt) val dom = case f of Const ("Prod.lam", _) $ T $ _ => T |