isabelle: src/HOL/GroupTheory/ROOT.ML@59bc43b51aa2 (annotated)

11370 680946254afe new GroupTheory example, e.g. the Sylow theorem (preliminary version) paulson parents: diff changeset	1
680946254afe new GroupTheory example, e.g. the Sylow theorem (preliminary version) paulson parents: diff changeset	2	no_document use_thy "Primes";
680946254afe new GroupTheory example, e.g. the Sylow theorem (preliminary version) paulson parents: diff changeset	3
11394 e88c2c89f98e Locale-based group theory proofs paulson parents: 11370 diff changeset	4	use_thy "DirProd";
11370 680946254afe new GroupTheory example, e.g. the Sylow theorem (preliminary version) paulson parents: diff changeset	5	use_thy "Sylow";
11443 77ed7e2b56c8 The final version of Florian Kammueller's proofs paulson parents: 11394 diff changeset	6	use_thy "RingConstr";
77ed7e2b56c8 The final version of Florian Kammueller's proofs paulson parents: 11394 diff changeset	7	use_thy "PiSets";