From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 16 Oct 2019 11:26:43 +0200 Subject: removing everything but index which redirects to the new page --- docs/htmldoc/mathcomp.solvable.all_solvable.html | 51 ------------------------ 1 file changed, 51 deletions(-) delete mode 100644 docs/htmldoc/mathcomp.solvable.all_solvable.html (limited to 'docs/htmldoc/mathcomp.solvable.all_solvable.html') diff --git a/docs/htmldoc/mathcomp.solvable.all_solvable.html b/docs/htmldoc/mathcomp.solvable.all_solvable.html deleted file mode 100644 index 441a5dc..0000000 --- a/docs/htmldoc/mathcomp.solvable.all_solvable.html +++ /dev/null @@ -1,51 +0,0 @@ - - - - - -mathcomp.solvable.all_solvable - - - - -
- - - -
- -

Library mathcomp.solvable.all_solvable

- -
-Require Export abelian.
-Require Export alt.
-Require Export burnside_app.
-Require Export center.
-Require Export commutator.
-Require Export cyclic.
-Require Export extraspecial.
-Require Export extremal.
-Require Export finmodule.
-Require Export frobenius.
-Require Export gfunctor.
-Require Export gseries.
-Require Export hall.
-Require Export jordanholder.
-Require Export maximal.
-Require Export nilpotent.
-Require Export pgroup.
-Require Export primitive_action.
-Require Export sylow.
-
-
- - - -
- - - \ No newline at end of file -- cgit v1.2.3