chore: generate docs

leanprover-community · Dec 5, 2024 · 802c89b · 802c89b
1 parent c016aa9
commit 802c89b
Show file tree

Hide file tree

Showing 4,382 changed files with 244,885 additions and 0 deletions.
diff --git a/docs/doc-data/backrefs-Batteries.Classes.Cast.json b/docs/doc-data/backrefs-Batteries.Classes.Cast.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Classes.Order.json b/docs/doc-data/backrefs-Batteries.Classes.Order.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Classes.RatCast.json b/docs/doc-data/backrefs-Batteries.Classes.RatCast.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Classes.SatisfiesM.json b/docs/doc-data/backrefs-Batteries.Classes.SatisfiesM.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.CodeAction.Attr.json b/docs/doc-data/backrefs-Batteries.CodeAction.Attr.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.CodeAction.Basic.json b/docs/doc-data/backrefs-Batteries.CodeAction.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.CodeAction.Deprecated.json b/docs/doc-data/backrefs-Batteries.CodeAction.Deprecated.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.CodeAction.Misc.json b/docs/doc-data/backrefs-Batteries.CodeAction.Misc.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.CodeAction.json b/docs/doc-data/backrefs-Batteries.CodeAction.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Control.ForInStep.Basic.json b/docs/doc-data/backrefs-Batteries.Control.ForInStep.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Control.ForInStep.Lemmas.json b/docs/doc-data/backrefs-Batteries.Control.ForInStep.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Control.ForInStep.json b/docs/doc-data/backrefs-Batteries.Control.ForInStep.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Control.Lemmas.json b/docs/doc-data/backrefs-Batteries.Control.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Control.Nondet.Basic.json b/docs/doc-data/backrefs-Batteries.Control.Nondet.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.Basic.json b/docs/doc-data/backrefs-Batteries.Data.Array.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.Init.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.Array.Init.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.Array.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.Match.json b/docs/doc-data/backrefs-Batteries.Data.Array.Match.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.Merge.json b/docs/doc-data/backrefs-Batteries.Data.Array.Merge.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.Monadic.json b/docs/doc-data/backrefs-Batteries.Data.Array.Monadic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.OfFn.json b/docs/doc-data/backrefs-Batteries.Data.Array.OfFn.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.Pairwise.json b/docs/doc-data/backrefs-Batteries.Data.Array.Pairwise.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Array.json b/docs/doc-data/backrefs-Batteries.Data.Array.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.AssocList.json b/docs/doc-data/backrefs-Batteries.Data.AssocList.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.BinaryHeap.json b/docs/doc-data/backrefs-Batteries.Data.BinaryHeap.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.BinomialHeap.Basic.json b/docs/doc-data/backrefs-Batteries.Data.BinomialHeap.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.BinomialHeap.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.BinomialHeap.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.BinomialHeap.json b/docs/doc-data/backrefs-Batteries.Data.BinomialHeap.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.ByteArray.json b/docs/doc-data/backrefs-Batteries.Data.ByteArray.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.ByteSubarray.json b/docs/doc-data/backrefs-Batteries.Data.ByteSubarray.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Char.json b/docs/doc-data/backrefs-Batteries.Data.Char.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.DList.Basic.json b/docs/doc-data/backrefs-Batteries.Data.DList.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.DList.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.DList.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.DList.json b/docs/doc-data/backrefs-Batteries.Data.DList.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Fin.Basic.json b/docs/doc-data/backrefs-Batteries.Data.Fin.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Fin.Fold.json b/docs/doc-data/backrefs-Batteries.Data.Fin.Fold.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Fin.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.Fin.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Fin.json b/docs/doc-data/backrefs-Batteries.Data.Fin.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.FloatArray.json b/docs/doc-data/backrefs-Batteries.Data.FloatArray.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.HashMap.Basic.json b/docs/doc-data/backrefs-Batteries.Data.HashMap.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.HashMap.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.HashMap.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.HashMap.WF.json b/docs/doc-data/backrefs-Batteries.Data.HashMap.WF.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.HashMap.json b/docs/doc-data/backrefs-Batteries.Data.HashMap.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.LazyList.json b/docs/doc-data/backrefs-Batteries.Data.LazyList.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.Basic.json b/docs/doc-data/backrefs-Batteries.Data.List.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.Count.json b/docs/doc-data/backrefs-Batteries.Data.List.Count.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.EraseIdx.json b/docs/doc-data/backrefs-Batteries.Data.List.EraseIdx.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.FinRange.json b/docs/doc-data/backrefs-Batteries.Data.List.FinRange.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.Init.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.List.Init.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.List.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.Matcher.json b/docs/doc-data/backrefs-Batteries.Data.List.Matcher.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.Monadic.json b/docs/doc-data/backrefs-Batteries.Data.List.Monadic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.OfFn.json b/docs/doc-data/backrefs-Batteries.Data.List.OfFn.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.Pairwise.json b/docs/doc-data/backrefs-Batteries.Data.List.Pairwise.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.Perm.json b/docs/doc-data/backrefs-Batteries.Data.List.Perm.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.List.json b/docs/doc-data/backrefs-Batteries.Data.List.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.MLList.Basic.json b/docs/doc-data/backrefs-Batteries.Data.MLList.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.MLList.Heartbeats.json b/docs/doc-data/backrefs-Batteries.Data.MLList.Heartbeats.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.MLList.IO.json b/docs/doc-data/backrefs-Batteries.Data.MLList.IO.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.MLList.json b/docs/doc-data/backrefs-Batteries.Data.MLList.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Nat.Basic.json b/docs/doc-data/backrefs-Batteries.Data.Nat.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Nat.Bisect.json b/docs/doc-data/backrefs-Batteries.Data.Nat.Bisect.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Nat.Gcd.json b/docs/doc-data/backrefs-Batteries.Data.Nat.Gcd.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Nat.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.Nat.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Nat.json b/docs/doc-data/backrefs-Batteries.Data.Nat.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.PairingHeap.json b/docs/doc-data/backrefs-Batteries.Data.PairingHeap.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.RBMap.Alter.json b/docs/doc-data/backrefs-Batteries.Data.RBMap.Alter.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.RBMap.Basic.json b/docs/doc-data/backrefs-Batteries.Data.RBMap.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.RBMap.Depth.json b/docs/doc-data/backrefs-Batteries.Data.RBMap.Depth.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.RBMap.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.RBMap.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.RBMap.WF.json b/docs/doc-data/backrefs-Batteries.Data.RBMap.WF.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.RBMap.json b/docs/doc-data/backrefs-Batteries.Data.RBMap.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Range.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.Range.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Range.json b/docs/doc-data/backrefs-Batteries.Data.Range.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Rat.Basic.json b/docs/doc-data/backrefs-Batteries.Data.Rat.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Rat.Float.json b/docs/doc-data/backrefs-Batteries.Data.Rat.Float.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Rat.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.Rat.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Rat.json b/docs/doc-data/backrefs-Batteries.Data.Rat.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Stream.json b/docs/doc-data/backrefs-Batteries.Data.Stream.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.String.Basic.json b/docs/doc-data/backrefs-Batteries.Data.String.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.String.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.String.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.String.Matcher.json b/docs/doc-data/backrefs-Batteries.Data.String.Matcher.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.String.json b/docs/doc-data/backrefs-Batteries.Data.String.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.UInt.json b/docs/doc-data/backrefs-Batteries.Data.UInt.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.UnionFind.Basic.json b/docs/doc-data/backrefs-Batteries.Data.UnionFind.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.UnionFind.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.UnionFind.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.UnionFind.json b/docs/doc-data/backrefs-Batteries.Data.UnionFind.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Vector.Basic.json b/docs/doc-data/backrefs-Batteries.Data.Vector.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Vector.Lemmas.json b/docs/doc-data/backrefs-Batteries.Data.Vector.Lemmas.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Data.Vector.json b/docs/doc-data/backrefs-Batteries.Data.Vector.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.AttributeExtra.json b/docs/doc-data/backrefs-Batteries.Lean.AttributeExtra.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.EStateM.json b/docs/doc-data/backrefs-Batteries.Lean.EStateM.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Except.json b/docs/doc-data/backrefs-Batteries.Lean.Except.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Expr.json b/docs/doc-data/backrefs-Batteries.Lean.Expr.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Float.json b/docs/doc-data/backrefs-Batteries.Lean.Float.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.HashMap.json b/docs/doc-data/backrefs-Batteries.Lean.HashMap.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.HashSet.json b/docs/doc-data/backrefs-Batteries.Lean.HashSet.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.IO.Process.json b/docs/doc-data/backrefs-Batteries.Lean.IO.Process.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Json.json b/docs/doc-data/backrefs-Batteries.Lean.Json.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.LawfulMonad.json b/docs/doc-data/backrefs-Batteries.Lean.LawfulMonad.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Meta.Basic.json b/docs/doc-data/backrefs-Batteries.Lean.Meta.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Meta.DiscrTree.json b/docs/doc-data/backrefs-Batteries.Lean.Meta.DiscrTree.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Meta.Expr.json b/docs/doc-data/backrefs-Batteries.Lean.Meta.Expr.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Meta.Inaccessible.json b/docs/doc-data/backrefs-Batteries.Lean.Meta.Inaccessible.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Meta.InstantiateMVars.json b/docs/doc-data/backrefs-Batteries.Lean.Meta.InstantiateMVars.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Meta.SavedState.json b/docs/doc-data/backrefs-Batteries.Lean.Meta.SavedState.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Meta.Simp.json b/docs/doc-data/backrefs-Batteries.Lean.Meta.Simp.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Meta.UnusedNames.json b/docs/doc-data/backrefs-Batteries.Lean.Meta.UnusedNames.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.MonadBacktrack.json b/docs/doc-data/backrefs-Batteries.Lean.MonadBacktrack.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.NameMapAttribute.json b/docs/doc-data/backrefs-Batteries.Lean.NameMapAttribute.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.PersistentHashMap.json b/docs/doc-data/backrefs-Batteries.Lean.PersistentHashMap.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.PersistentHashSet.json b/docs/doc-data/backrefs-Batteries.Lean.PersistentHashSet.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Position.json b/docs/doc-data/backrefs-Batteries.Lean.Position.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.SatisfiesM.json b/docs/doc-data/backrefs-Batteries.Lean.SatisfiesM.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Syntax.json b/docs/doc-data/backrefs-Batteries.Lean.Syntax.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.System.IO.json b/docs/doc-data/backrefs-Batteries.Lean.System.IO.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.TagAttribute.json b/docs/doc-data/backrefs-Batteries.Lean.TagAttribute.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Lean.Util.EnvSearch.json b/docs/doc-data/backrefs-Batteries.Lean.Util.EnvSearch.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Linter.UnnecessarySeqFocus.json b/docs/doc-data/backrefs-Batteries.Linter.UnnecessarySeqFocus.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Linter.UnreachableTactic.json b/docs/doc-data/backrefs-Batteries.Linter.UnreachableTactic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Linter.json b/docs/doc-data/backrefs-Batteries.Linter.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Logic.json b/docs/doc-data/backrefs-Batteries.Logic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Alias.json b/docs/doc-data/backrefs-Batteries.Tactic.Alias.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Basic.json b/docs/doc-data/backrefs-Batteries.Tactic.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Case.json b/docs/doc-data/backrefs-Batteries.Tactic.Case.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Congr.json b/docs/doc-data/backrefs-Batteries.Tactic.Congr.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Exact.json b/docs/doc-data/backrefs-Batteries.Tactic.Exact.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.HelpCmd.json b/docs/doc-data/backrefs-Batteries.Tactic.HelpCmd.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Init.json b/docs/doc-data/backrefs-Batteries.Tactic.Init.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Instances.json b/docs/doc-data/backrefs-Batteries.Tactic.Instances.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Lemma.json b/docs/doc-data/backrefs-Batteries.Tactic.Lemma.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Lint.Basic.json b/docs/doc-data/backrefs-Batteries.Tactic.Lint.Basic.json
@@ -0,0 +1 @@
+[]
diff --git a/docs/doc-data/backrefs-Batteries.Tactic.Lint.Frontend.json b/docs/doc-data/backrefs-Batteries.Tactic.Lint.Frontend.json
@@ -0,0 +1 @@
+[]