From 2525c33691e25f837b7dca31d4c702199b3dbc5d Mon Sep 17 00:00:00 2001 From: Jasper Hugunin Date: Sun, 4 Mar 2018 16:57:06 -0800 Subject: Change deprecated Arguments Scope to Arguments --- mathcomp/solvable/maximal.v | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'mathcomp/solvable/maximal.v') diff --git a/mathcomp/solvable/maximal.v b/mathcomp/solvable/maximal.v index 06cf329..c1a2eb5 100644 --- a/mathcomp/solvable/maximal.v +++ b/mathcomp/solvable/maximal.v @@ -102,14 +102,14 @@ Definition SCN_at n B := [set A in SCN B | n <= 'r(A)]. End Defs. -Arguments Scope charsimple [_ group_scope]. -Arguments Scope Frattini [_ group_scope]. -Arguments Scope Fitting [_ group_scope]. -Arguments Scope critical [_ group_scope group_scope]. -Arguments Scope special [_ group_scope]. -Arguments Scope extraspecial [_ group_scope]. -Arguments Scope SCN [_ group_scope]. -Arguments Scope SCN_at [_ nat_scope group_scope]. +Arguments charsimple _ _%g. +Arguments Frattini _ _%g. +Arguments Fitting _ _%g. +Arguments critical _ _%g _%g. +Arguments special _ _%g. +Arguments extraspecial _ _%g. +Arguments SCN _ _%g. +Arguments SCN_at _ _%N _%g. Prenex Implicits maximal simple charsimple critical special extraspecial. -- cgit v1.2.3