update the list of available docs/bits

docs/bits.rst

@@ -12,14 +12,44 @@ We include them here for reference and convenience, but this part of the documen
 
 .. toctree::
 
+  bits/attribute/L_size.md
+  bits/attribute/L_bijective.md
+  bits/attribute/L_surjective.md
+  bits/attribute/L_total.md
   bits/attribute/L_regular.md
+  bits/attribute/L_minSize.md
+  bits/attribute/L_injective.md
+  bits/attribute/L_maxSize.md
+  bits/function/participants.md
+  bits/function/parts.md
   bits/function/min.md
+  bits/function/toInt.md
+  bits/function/party.md
   bits/function/and.md
+  bits/function/together.md
   bits/function/max.md
+  bits/function/apart.md
   bits/function/allDiff.md
+  bits/type/L_bool.md
+  bits/type/function.md
+  bits/type/matrix.md
   bits/keyword/find.md
   bits/keyword/expr_projection.md
+  bits/keyword/long_arrow.md
+  bits/keyword/letting_domain.md
   bits/keyword/new_type_enum.md
   bits/operator/L_Div.md
+  bits/operator/L_Minus.md
+  bits/operator/L_Pow.md
+  bits/operator/L_subset.md
+  bits/operator/post_factorial.md
+  bits/operator/L_Times.md
+  bits/operator/L_subsetEq.md
+  bits/operator/L_abs.md
+  bits/operator/L_Plus.md
   bits/operator/L_in.md
+  bits/operator/L_supset.md
+  bits/operator/L_union.md
+  bits/operator/L_supsetEq.md
   bits/operator/L_Mod.md
+  bits/operator/L_intersect.md