diff options
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/algebra/descr | 6 | ||||
| -rw-r--r-- | mathcomp/character/descr | 4 | ||||
| -rw-r--r-- | mathcomp/field/descr | 4 | ||||
| -rw-r--r-- | mathcomp/fingroup/descr | 4 | ||||
| -rw-r--r-- | mathcomp/solvable/descr | 3 | ||||
| -rw-r--r-- | mathcomp/ssreflect/descr | 8 |
6 files changed, 0 insertions, 29 deletions
diff --git a/mathcomp/algebra/descr b/mathcomp/algebra/descr deleted file mode 100644 index cab419f..0000000 --- a/mathcomp/algebra/descr +++ /dev/null @@ -1,6 +0,0 @@ -Mathematical Components Library on Algebra - -This library contains definitions and theorems about discrete -(i.e. with decidable equality) algebraic structures : ring, fields, -ordered fields, real fields, modules, algebras, integers, rational -numbers, polynomials, matrices, vector spaces...
\ No newline at end of file diff --git a/mathcomp/character/descr b/mathcomp/character/descr deleted file mode 100644 index e7400ea..0000000 --- a/mathcomp/character/descr +++ /dev/null @@ -1,4 +0,0 @@ -Mathematical Components Library on character theory - -This library contains definitions and theorems about group -representations, characters and class functions.
\ No newline at end of file diff --git a/mathcomp/field/descr b/mathcomp/field/descr deleted file mode 100644 index ca46f64..0000000 --- a/mathcomp/field/descr +++ /dev/null @@ -1,4 +0,0 @@ -Mathematical Components Library on Fields - -This library contains definitions and theorems about field extensions, -galois theory, algebraic numbers, cyclotomic polynomials...
\ No newline at end of file diff --git a/mathcomp/fingroup/descr b/mathcomp/fingroup/descr deleted file mode 100644 index 1917e3c..0000000 --- a/mathcomp/fingroup/descr +++ /dev/null @@ -1,4 +0,0 @@ -Mathematical Components Library on finite groups - -This library contains definitions and theorems about finite groups, -group quotients, group morphisms, group presentation, group action...
\ No newline at end of file diff --git a/mathcomp/solvable/descr b/mathcomp/solvable/descr deleted file mode 100644 index e9791a8..0000000 --- a/mathcomp/solvable/descr +++ /dev/null @@ -1,3 +0,0 @@ -Mathematical Components Library on finite groups (II) - -This library contains more definitions and theorems about finite groups.
\ No newline at end of file diff --git a/mathcomp/ssreflect/descr b/mathcomp/ssreflect/descr deleted file mode 100644 index f3aeba5..0000000 --- a/mathcomp/ssreflect/descr +++ /dev/null @@ -1,8 +0,0 @@ -Small Scale Reflection - -This library includes the small scale reflection proof language -extension and the minimal set of libraries to take advantage of it. -This includes libraries on lists (seq), boolean and boolean -predicates, natural numbers and types with decidable equality, -finite types, finite sets, finite functions, finite graphs, basic arithmetics -and prime numbers, big operators |