set "baseuri" "cic:/matita/CoRN-Decl/tactics/GroupReflection".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: GroupReflection.v,v 1.3 2004/04/23 10:01:06 lcf Exp $ *)
inline "cic:/CoRN/tactics/GroupReflection/pfun.var".
+(* NOTATION
+Notation II := (interpG G val unop binop pfun).
+*)
+
(*
four kinds of exprs: