src/Pure/ML/ml_antiquotations.ML

--- a/src/Pure/ML/ml_antiquotations.ML	Fri Apr 09 21:07:11 2021 +0200
+++ b/src/Pure/ML/ml_antiquotations.ML	Fri Apr 09 22:06:59 2021 +0200
@@ -180,6 +180,13 @@
         in ML_Syntax.atomic (ML_Syntax.print_term const) end)));
 
 
+(* special forms *)
+
+val _ = Theory.setup
+ (ML_Antiquotation.special_form \<^binding>\<open>try\<close> "() |> Basics.try" #>
+  ML_Antiquotation.special_form \<^binding>\<open>can\<close> "() |> Basics.can");
+
+
 (* basic combinators *)
 
 local