From f0906abd5aa3d9004b53454af92b44b3d908ec3c Mon Sep 17 00:00:00 2001 From: tslil Date: Mon, 27 Apr 2026 09:46:17 +0100 Subject: change the "claimed set" notation to "set-of" so that David isn't confused --- grammar.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'grammar.txt') diff --git a/grammar.txt b/grammar.txt index 607d759..516a248 100644 --- a/grammar.txt +++ b/grammar.txt @@ -13,7 +13,7 @@ set_field = "." , lower_ident , ":" , set ; variant_set = "variant" , "[" , [ variant_field { "|" , variant_field } ] , "]" ; variant_field = lower_ident , "." , ":" , set ; builtin_set = "Nat" | "Int" | "Float" | "Str" | "Bool" ; -claimed_set = "set" , "(" , instance , ")" ; +claimed_set = "set-of" , "(" , instance , ")" ; signature = "Set" | theory_sig | function_sig | sig_var | "(" , signature , ")" ; theory_sig = "theory" , "{" , [ sig_field { "," , sig_field } ] , "}" ; -- cgit v1.3.1