diff options
Diffstat (limited to 'spartan/core/Spartan.thy')
| -rw-r--r-- | spartan/core/Spartan.thy | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spartan/core/Spartan.thy b/spartan/core/Spartan.thy index 411eedd..10caa30 100644 --- a/spartan/core/Spartan.thy +++ b/spartan/core/Spartan.thy @@ -362,6 +362,8 @@ translations "_lam_i2 x b" \<rightharpoonup> "\<lambda>x. b" "\<lambda>x. b" \<rightleftharpoons> "CONST lam_i (fn x. b)" +translations "\<lambda>x. b" \<leftharpoondown> "\<lambda>x: A. b" + subsection \<open>Lambda coercion\<close> \<comment> \<open>Coerce object lambdas to meta-lambdas\<close> |