src/Sequents/S43.thy
changeset 14765 bafb24c150c1
parent 2073 fb0655539d05
child 17481 75166ebb619b
     1.1 --- a/src/Sequents/S43.thy	Wed May 19 11:41:58 2004 +0200
     1.2 +++ b/src/Sequents/S43.thy	Fri May 21 21:14:18 2004 +0200
     1.3 @@ -11,6 +11,7 @@
     1.4  consts
     1.5    S43pi :: "[seq'=>seq', seq'=>seq', seq'=>seq',
     1.6               seq'=>seq', seq'=>seq', seq'=>seq'] => prop"
     1.7 +syntax
     1.8    "@S43pi" :: "[seq, seq, seq, seq, seq, seq] => prop"
     1.9                           ("S43pi((_);(_);(_);(_);(_);(_))" [] 5)
    1.10