- (GA.NApply (floc,mk_ident "ex_intro")),GA.Branch floc));
- GA.Executable(floc,GA.NTactic(floc, GA.NId floc ,
- (GA.Pos (floc,[2]))))])
+ [GA.NApply (floc,
+ PT.Appl
+ [mk_ident "ex_intro";PT.Implicit `JustOne;PT.Implicit `JustOne;
+ PT.Implicit `JustOne;PT.Implicit `JustOne]);GA.NBranch floc]));
+ GA.Executable(floc,GA.NTactic(floc,
+ [GA.NPos (floc,[2])]))])