HomeIsabelle/Phabricator
Diffusion Isabelle 1d8a79aa2a99

dedicated session for combinatorial material
1d8a79aa2a99
Actions

Description

dedicated session for combinatorial material

Details

Provenance
florian.haftmannAuthored on
Parents
rISABELLE6b480efe1bc3: support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
Branches
Unknown
Tags
Unknown

Changes (31)

PathSize
Analysis/
Codegenerator_Test/
Combinatorics/
Algebra/
Combinatorics/
Library/
Probability/

rISABELLE1d8a79aa2a99

View Options

CONTRIBUTORS

Loading...
View Options

NEWS

Loading...
View Options

src/HOL/Algebra/Cycles.thy

Loading...
View Options

src/HOL/Algebra/Divisibility.thy

Loading...
View Options

src/HOL/Algebra/Sym_Groups.thy

Loading...
View Options

src/HOL/Analysis/Determinants.thy

Loading...
View Options

src/HOL/Analysis/Vitali_Covering_Theorem.thy

Loading...
View Options

src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy

Loading...
View Options

src/HOL/Combinatorics/Combinatorics.thy

Loading...
View Options

src/HOL/Combinatorics/Cycles.thy

Loading...
View Options

src/HOL/Combinatorics/Guide.thy

Loading...
View Options

src/HOL/Combinatorics/List_Permutation.thy

Loading...
View Options

src/HOL/Combinatorics/Multiset_Permutations.thy

Loading...
View Options

src/HOL/Combinatorics/Permutations.thy

Loading...
View Options

src/HOL/Combinatorics/Stirling.thy

Loading...
View Options

src/HOL/Combinatorics/document/root.tex

Loading...
View Options

src/HOL/Library/Disjoint_FSets.thy

Loading...
View Options

src/HOL/Library/Disjoint_Sets.thy

Loading...
View Options

src/HOL/Library/Library.thy

Loading...
View Options

src/HOL/Library/List_Permutation.thy

Loading...
View Options

src/HOL/Library/Multiset_Permutations.thy

Loading...
View Options

src/HOL/Library/Permutations.thy

Loading...
View Options

src/HOL/Library/Stirling.thy

Loading...
View Options

src/HOL/Probability/Random_Permutations.thy

Loading...
View Options

src/HOL/ROOT

Loading...