equal
deleted
inserted
replaced
6 |
6 |
7 type_synonym pname = string |
7 type_synonym pname = string |
8 |
8 |
9 datatype |
9 datatype |
10 com = SKIP |
10 com = SKIP |
11 | Assign vname aexp ("_ ::= _" [1000, 61] 61) |
11 | Assign vname aexp (\<open>_ ::= _\<close> [1000, 61] 61) |
12 | Seq com com ("_;;/ _" [60, 61] 60) |
12 | Seq com com (\<open>_;;/ _\<close> [60, 61] 60) |
13 | If bexp com com ("(IF _/ THEN _/ ELSE _)" [0, 0, 61] 61) |
13 | If bexp com com (\<open>(IF _/ THEN _/ ELSE _)\<close> [0, 0, 61] 61) |
14 | While bexp com ("(WHILE _/ DO _)" [0, 61] 61) |
14 | While bexp com (\<open>(WHILE _/ DO _)\<close> [0, 61] 61) |
15 | Var vname com ("(1{VAR _;/ _})") |
15 | Var vname com (\<open>(1{VAR _;/ _})\<close>) |
16 | Proc pname com com ("(1{PROC _ = _;/ _})") |
16 | Proc pname com com (\<open>(1{PROC _ = _;/ _})\<close>) |
17 | CALL pname |
17 | CALL pname |
18 |
18 |
19 definition "test_com = |
19 definition "test_com = |
20 {VAR ''x''; |
20 {VAR ''x''; |
21 {PROC ''p'' = ''x'' ::= N 1; |
21 {PROC ''p'' = ''x'' ::= N 1; |