/src/HOL/Combinatorics/ Isabelle2025
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2025-03-12 11:39 +0100 246 Combinatorics.thy
-rw-r--r-- 2025-03-12 11:39 +0100 23996 Cycles.thy
-rw-r--r-- 2025-03-12 11:39 +0100 4710 List_Permutation.thy
-rw-r--r-- 2025-03-12 11:39 +0100 22312 Multiset_Permutations.thy
-rw-r--r-- 2025-03-12 11:39 +0100 23623 Orbits.thy
-rw-r--r-- 2025-03-12 11:39 +0100 26051 Perm.thy
-rw-r--r-- 2025-03-12 11:39 +0100 62407 Permutations.thy
-rw-r--r-- 2025-03-12 11:39 +0100 10369 Stirling.thy
-rw-r--r-- 2025-03-12 11:39 +0100 6903 Transposition.thy