diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-04-08 19:18:20 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-04-28 08:39:11 +0000 |
| commit | 919794f785fd9284003728160098c35cee3f2e6b (patch) | |
| tree | bab730bb5a855830a00738be346ea71453142716 | |
| parent | 0f398dedf4e189908ae5c5fee0c6627514f73e2e (diff) | |
| download | ports-919794f785fd9284003728160098c35cee3f2e6b.tar.gz ports-919794f785fd9284003728160098c35cee3f2e6b.zip | |
math/lean4-std: Removed
(cherry picked from commit 3306d7a48227745d21a433b3f35b45b2f979457d)
| -rw-r--r-- | MOVED | 1 | ||||
| -rw-r--r-- | math/Makefile | 1 | ||||
| -rw-r--r-- | math/lean4-std/Makefile | 31 | ||||
| -rw-r--r-- | math/lean4-std/distinfo | 3 | ||||
| -rw-r--r-- | math/lean4-std/pkg-descr | 1 | ||||
| -rw-r--r-- | math/lean4-std/pkg-plist | 926 |
6 files changed, 1 insertions, 962 deletions
@@ -3162,5 +3162,6 @@ multimedia/mjpg-streamer||2024-04-06|Has expired: Unmaintained for a long time a irc/tircproxy||2024-04-06|Has expired: Unmaintained, dead upstream, vaporized from the net devel/ds2||2024-04-06|Has expired: Upstream deprecated and archived devel/bazel029||2024-04-08|Removed +math/lean4-std||2024-04-08|Removed: Lean4 doesn't yet support seperate library packages, although it should misc/urbit||2024-04-08|Deprecated: Can't be built with a reasonable effort www/gitlab-ce|www/gitlab@ce|2024-04-21|Move www/gitlab-ce to www/gitlab and added flavor ce and ee diff --git a/math/Makefile b/math/Makefile index ab0eea7ea373..362bc257f0b9 100644 --- a/math/Makefile +++ b/math/Makefile @@ -438,7 +438,6 @@ SUBDIR += ldouble SUBDIR += lean SUBDIR += lean4 - SUBDIR += lean4-std SUBDIR += leangz SUBDIR += lemon SUBDIR += levmar diff --git a/math/lean4-std/Makefile b/math/lean4-std/Makefile deleted file mode 100644 index 158fd2ba349e..000000000000 --- a/math/lean4-std/Makefile +++ /dev/null @@ -1,31 +0,0 @@ -PORTNAME= lean4-std -DISTVERSIONPREFIX= v -DISTVERSION= 4.5.0-rc1 -CATEGORIES= math - -MAINTAINER= yuri@FreeBSD.org -COMMENT= Lean4: Std library -WWW= https://lean-lang.org/ - -LICENSE= APACHE20 -LICENSE_FILE= ${WRKSRC}/LICENSE - -BUILD_DEPENDS= lake:math/lean4 - -USE_GITHUB= yes -GH_ACCOUNT= leanprover -GH_PROJECT= std4 - -NO_ARCH= yes - -do-build: - @cd ${WRKSRC} && \ - lake build - -do-install: - ${MKDIR} ${STAGEDIR}${PREFIX}/lib/lean - cd ${WRKSRC}/.lake/build/lib && \ - ${INSTALL_DATA} Std.olean ${STAGEDIR}${PREFIX}/lib/lean && \ - ${COPYTREE_SHARE} Std ${STAGEDIR}${PREFIX}/lib/lean - -.include <bsd.port.mk> diff --git a/math/lean4-std/distinfo b/math/lean4-std/distinfo deleted file mode 100644 index 0beb2612e9fd..000000000000 --- a/math/lean4-std/distinfo +++ /dev/null @@ -1,3 +0,0 @@ -TIMESTAMP = 1705396087 -SHA256 (leanprover-std4-v4.5.0-rc1_GH0.tar.gz) = 2b2812f5b6f89ef4facc8d2bf09ecc33f5e9918f80573fa29662314102ca0455 -SIZE (leanprover-std4-v4.5.0-rc1_GH0.tar.gz) = 437646 diff --git a/math/lean4-std/pkg-descr b/math/lean4-std/pkg-descr deleted file mode 100644 index a4d785704a2a..000000000000 --- a/math/lean4-std/pkg-descr +++ /dev/null @@ -1 +0,0 @@ -Std library for Lean4, the math theorem prover. diff --git a/math/lean4-std/pkg-plist b/math/lean4-std/pkg-plist deleted file mode 100644 index f536e1786f88..000000000000 --- a/math/lean4-std/pkg-plist +++ /dev/null @@ -1,926 +0,0 @@ -lib/lean/Std.olean -lib/lean/Std/Classes/BEq.ilean -lib/lean/Std/Classes/BEq.ilean.hash -lib/lean/Std/Classes/BEq.olean -lib/lean/Std/Classes/BEq.olean.hash -lib/lean/Std/Classes/BEq.trace -lib/lean/Std/Classes/Cast.ilean -lib/lean/Std/Classes/Cast.ilean.hash -lib/lean/Std/Classes/Cast.olean -lib/lean/Std/Classes/Cast.olean.hash -lib/lean/Std/Classes/Cast.trace -lib/lean/Std/Classes/Dvd.ilean -lib/lean/Std/Classes/Dvd.ilean.hash -lib/lean/Std/Classes/Dvd.olean -lib/lean/Std/Classes/Dvd.olean.hash -lib/lean/Std/Classes/Dvd.trace -lib/lean/Std/Classes/LawfulMonad.ilean -lib/lean/Std/Classes/LawfulMonad.ilean.hash -lib/lean/Std/Classes/LawfulMonad.olean -lib/lean/Std/Classes/LawfulMonad.olean.hash -lib/lean/Std/Classes/LawfulMonad.trace -lib/lean/Std/Classes/Order.ilean -lib/lean/Std/Classes/Order.ilean.hash -lib/lean/Std/Classes/Order.olean -lib/lean/Std/Classes/Order.olean.hash -lib/lean/Std/Classes/Order.trace -lib/lean/Std/Classes/RatCast.ilean -lib/lean/Std/Classes/RatCast.ilean.hash -lib/lean/Std/Classes/RatCast.olean -lib/lean/Std/Classes/RatCast.olean.hash -lib/lean/Std/Classes/RatCast.trace -lib/lean/Std/Classes/SetNotation.ilean -lib/lean/Std/Classes/SetNotation.ilean.hash -lib/lean/Std/Classes/SetNotation.olean -lib/lean/Std/Classes/SetNotation.olean.hash -lib/lean/Std/Classes/SetNotation.trace -lib/lean/Std/CodeAction.ilean -lib/lean/Std/CodeAction.ilean.hash -lib/lean/Std/CodeAction.olean -lib/lean/Std/CodeAction.olean.hash -lib/lean/Std/CodeAction.trace -lib/lean/Std/CodeAction/Attr.ilean -lib/lean/Std/CodeAction/Attr.ilean.hash -lib/lean/Std/CodeAction/Attr.olean -lib/lean/Std/CodeAction/Attr.olean.hash -lib/lean/Std/CodeAction/Attr.trace -lib/lean/Std/CodeAction/Basic.ilean -lib/lean/Std/CodeAction/Basic.ilean.hash -lib/lean/Std/CodeAction/Basic.olean -lib/lean/Std/CodeAction/Basic.olean.hash -lib/lean/Std/CodeAction/Basic.trace -lib/lean/Std/CodeAction/Deprecated.ilean -lib/lean/Std/CodeAction/Deprecated.ilean.hash -lib/lean/Std/CodeAction/Deprecated.olean -lib/lean/Std/CodeAction/Deprecated.olean.hash -lib/lean/Std/CodeAction/Deprecated.trace -lib/lean/Std/CodeAction/Misc.ilean -lib/lean/Std/CodeAction/Misc.ilean.hash -lib/lean/Std/CodeAction/Misc.olean -lib/lean/Std/CodeAction/Misc.olean.hash -lib/lean/Std/CodeAction/Misc.trace -lib/lean/Std/Control/ForInStep.ilean -lib/lean/Std/Control/ForInStep.ilean.hash -lib/lean/Std/Control/ForInStep.olean -lib/lean/Std/Control/ForInStep.olean.hash -lib/lean/Std/Control/ForInStep.trace -lib/lean/Std/Control/ForInStep/Basic.ilean -lib/lean/Std/Control/ForInStep/Basic.ilean.hash -lib/lean/Std/Control/ForInStep/Basic.olean -lib/lean/Std/Control/ForInStep/Basic.olean.hash -lib/lean/Std/Control/ForInStep/Basic.trace -lib/lean/Std/Control/ForInStep/Lemmas.ilean -lib/lean/Std/Control/ForInStep/Lemmas.ilean.hash -lib/lean/Std/Control/ForInStep/Lemmas.olean -lib/lean/Std/Control/ForInStep/Lemmas.olean.hash -lib/lean/Std/Control/ForInStep/Lemmas.trace -lib/lean/Std/Control/Lemmas.ilean -lib/lean/Std/Control/Lemmas.ilean.hash -lib/lean/Std/Control/Lemmas.olean -lib/lean/Std/Control/Lemmas.olean.hash -lib/lean/Std/Control/Lemmas.trace -lib/lean/Std/Data/Array/Basic.ilean -lib/lean/Std/Data/Array/Basic.ilean.hash -lib/lean/Std/Data/Array/Basic.olean -lib/lean/Std/Data/Array/Basic.olean.hash -lib/lean/Std/Data/Array/Basic.trace -lib/lean/Std/Data/Array/Init/Basic.ilean -lib/lean/Std/Data/Array/Init/Basic.ilean.hash -lib/lean/Std/Data/Array/Init/Basic.olean -lib/lean/Std/Data/Array/Init/Basic.olean.hash -lib/lean/Std/Data/Array/Init/Basic.trace -lib/lean/Std/Data/Array/Init/Lemmas.ilean -lib/lean/Std/Data/Array/Init/Lemmas.ilean.hash -lib/lean/Std/Data/Array/Init/Lemmas.olean -lib/lean/Std/Data/Array/Init/Lemmas.olean.hash -lib/lean/Std/Data/Array/Init/Lemmas.trace -lib/lean/Std/Data/Array/Lemmas.ilean -lib/lean/Std/Data/Array/Lemmas.ilean.hash -lib/lean/Std/Data/Array/Lemmas.olean -lib/lean/Std/Data/Array/Lemmas.olean.hash -lib/lean/Std/Data/Array/Lemmas.trace -lib/lean/Std/Data/Array/Match.ilean -lib/lean/Std/Data/Array/Match.ilean.hash -lib/lean/Std/Data/Array/Match.olean -lib/lean/Std/Data/Array/Match.olean.hash -lib/lean/Std/Data/Array/Match.trace -lib/lean/Std/Data/Array/Merge.ilean -lib/lean/Std/Data/Array/Merge.ilean.hash -lib/lean/Std/Data/Array/Merge.olean -lib/lean/Std/Data/Array/Merge.olean.hash -lib/lean/Std/Data/Array/Merge.trace -lib/lean/Std/Data/AssocList.ilean -lib/lean/Std/Data/AssocList.ilean.hash -lib/lean/Std/Data/AssocList.olean -lib/lean/Std/Data/AssocList.olean.hash -lib/lean/Std/Data/AssocList.trace -lib/lean/Std/Data/BinomialHeap.ilean -lib/lean/Std/Data/BinomialHeap.ilean.hash -lib/lean/Std/Data/BinomialHeap.olean -lib/lean/Std/Data/BinomialHeap.olean.hash -lib/lean/Std/Data/BinomialHeap.trace -lib/lean/Std/Data/BinomialHeap/Basic.ilean -lib/lean/Std/Data/BinomialHeap/Basic.ilean.hash -lib/lean/Std/Data/BinomialHeap/Basic.olean -lib/lean/Std/Data/BinomialHeap/Basic.olean.hash -lib/lean/Std/Data/BinomialHeap/Basic.trace -lib/lean/Std/Data/BinomialHeap/Lemmas.ilean -lib/lean/Std/Data/BinomialHeap/Lemmas.ilean.hash -lib/lean/Std/Data/BinomialHeap/Lemmas.olean -lib/lean/Std/Data/BinomialHeap/Lemmas.olean.hash -lib/lean/Std/Data/BinomialHeap/Lemmas.trace -lib/lean/Std/Data/BitVec.ilean -lib/lean/Std/Data/BitVec.ilean.hash -lib/lean/Std/Data/BitVec.olean -lib/lean/Std/Data/BitVec.olean.hash -lib/lean/Std/Data/BitVec.trace -lib/lean/Std/Data/BitVec/Basic.ilean -lib/lean/Std/Data/BitVec/Basic.ilean.hash -lib/lean/Std/Data/BitVec/Basic.olean -lib/lean/Std/Data/BitVec/Basic.olean.hash -lib/lean/Std/Data/BitVec/Basic.trace -lib/lean/Std/Data/BitVec/Bitblast.ilean -lib/lean/Std/Data/BitVec/Bitblast.ilean.hash -lib/lean/Std/Data/BitVec/Bitblast.olean -lib/lean/Std/Data/BitVec/Bitblast.olean.hash -lib/lean/Std/Data/BitVec/Bitblast.trace -lib/lean/Std/Data/BitVec/Folds.ilean -lib/lean/Std/Data/BitVec/Folds.ilean.hash -lib/lean/Std/Data/BitVec/Folds.olean -lib/lean/Std/Data/BitVec/Folds.olean.hash -lib/lean/Std/Data/BitVec/Folds.trace -lib/lean/Std/Data/BitVec/Lemmas.ilean -lib/lean/Std/Data/BitVec/Lemmas.ilean.hash -lib/lean/Std/Data/BitVec/Lemmas.olean -lib/lean/Std/Data/BitVec/Lemmas.olean.hash -lib/lean/Std/Data/BitVec/Lemmas.trace -lib/lean/Std/Data/Bool.ilean -lib/lean/Std/Data/Bool.ilean.hash -lib/lean/Std/Data/Bool.olean -lib/lean/Std/Data/Bool.olean.hash -lib/lean/Std/Data/Bool.trace -lib/lean/Std/Data/Char.ilean -lib/lean/Std/Data/Char.ilean.hash -lib/lean/Std/Data/Char.olean -lib/lean/Std/Data/Char.olean.hash -lib/lean/Std/Data/Char.trace -lib/lean/Std/Data/DList.ilean -lib/lean/Std/Data/DList.ilean.hash -lib/lean/Std/Data/DList.olean -lib/lean/Std/Data/DList.olean.hash -lib/lean/Std/Data/DList.trace -lib/lean/Std/Data/Fin/Basic.ilean -lib/lean/Std/Data/Fin/Basic.ilean.hash -lib/lean/Std/Data/Fin/Basic.olean -lib/lean/Std/Data/Fin/Basic.olean.hash -lib/lean/Std/Data/Fin/Basic.trace -lib/lean/Std/Data/Fin/Init/Lemmas.ilean -lib/lean/Std/Data/Fin/Init/Lemmas.ilean.hash -lib/lean/Std/Data/Fin/Init/Lemmas.olean -lib/lean/Std/Data/Fin/Init/Lemmas.olean.hash -lib/lean/Std/Data/Fin/Init/Lemmas.trace -lib/lean/Std/Data/Fin/Iterate.ilean -lib/lean/Std/Data/Fin/Iterate.ilean.hash -lib/lean/Std/Data/Fin/Iterate.olean -lib/lean/Std/Data/Fin/Iterate.olean.hash -lib/lean/Std/Data/Fin/Iterate.trace -lib/lean/Std/Data/Fin/Lemmas.ilean -lib/lean/Std/Data/Fin/Lemmas.ilean.hash -lib/lean/Std/Data/Fin/Lemmas.olean -lib/lean/Std/Data/Fin/Lemmas.olean.hash -lib/lean/Std/Data/Fin/Lemmas.trace -lib/lean/Std/Data/HashMap.ilean -lib/lean/Std/Data/HashMap.ilean.hash -lib/lean/Std/Data/HashMap.olean -lib/lean/Std/Data/HashMap.olean.hash -lib/lean/Std/Data/HashMap.trace -lib/lean/Std/Data/HashMap/Basic.ilean -lib/lean/Std/Data/HashMap/Basic.ilean.hash -lib/lean/Std/Data/HashMap/Basic.olean -lib/lean/Std/Data/HashMap/Basic.olean.hash -lib/lean/Std/Data/HashMap/Basic.trace -lib/lean/Std/Data/HashMap/Lemmas.ilean -lib/lean/Std/Data/HashMap/Lemmas.ilean.hash -lib/lean/Std/Data/HashMap/Lemmas.olean -lib/lean/Std/Data/HashMap/Lemmas.olean.hash -lib/lean/Std/Data/HashMap/Lemmas.trace -lib/lean/Std/Data/HashMap/WF.ilean -lib/lean/Std/Data/HashMap/WF.ilean.hash -lib/lean/Std/Data/HashMap/WF.olean -lib/lean/Std/Data/HashMap/WF.olean.hash -lib/lean/Std/Data/HashMap/WF.trace -lib/lean/Std/Data/Int/Basic.ilean -lib/lean/Std/Data/Int/Basic.ilean.hash -lib/lean/Std/Data/Int/Basic.olean -lib/lean/Std/Data/Int/Basic.olean.hash -lib/lean/Std/Data/Int/Basic.trace -lib/lean/Std/Data/Int/DivMod.ilean -lib/lean/Std/Data/Int/DivMod.ilean.hash -lib/lean/Std/Data/Int/DivMod.olean -lib/lean/Std/Data/Int/DivMod.olean.hash -lib/lean/Std/Data/Int/DivMod.trace -lib/lean/Std/Data/Int/Lemmas.ilean -lib/lean/Std/Data/Int/Lemmas.ilean.hash -lib/lean/Std/Data/Int/Lemmas.olean -lib/lean/Std/Data/Int/Lemmas.olean.hash -lib/lean/Std/Data/Int/Lemmas.trace -lib/lean/Std/Data/Json.ilean -lib/lean/Std/Data/Json.ilean.hash -lib/lean/Std/Data/Json.olean -lib/lean/Std/Data/Json.olean.hash -lib/lean/Std/Data/Json.trace -lib/lean/Std/Data/List/Basic.ilean -lib/lean/Std/Data/List/Basic.ilean.hash -lib/lean/Std/Data/List/Basic.olean -lib/lean/Std/Data/List/Basic.olean.hash -lib/lean/Std/Data/List/Basic.trace -lib/lean/Std/Data/List/Count.ilean -lib/lean/Std/Data/List/Count.ilean.hash -lib/lean/Std/Data/List/Count.olean -lib/lean/Std/Data/List/Count.olean.hash -lib/lean/Std/Data/List/Count.trace -lib/lean/Std/Data/List/Init/Attach.ilean -lib/lean/Std/Data/List/Init/Attach.ilean.hash -lib/lean/Std/Data/List/Init/Attach.olean -lib/lean/Std/Data/List/Init/Attach.olean.hash -lib/lean/Std/Data/List/Init/Attach.trace -lib/lean/Std/Data/List/Init/Lemmas.ilean -lib/lean/Std/Data/List/Init/Lemmas.ilean.hash -lib/lean/Std/Data/List/Init/Lemmas.olean -lib/lean/Std/Data/List/Init/Lemmas.olean.hash -lib/lean/Std/Data/List/Init/Lemmas.trace -lib/lean/Std/Data/List/Lemmas.ilean -lib/lean/Std/Data/List/Lemmas.ilean.hash -lib/lean/Std/Data/List/Lemmas.olean -lib/lean/Std/Data/List/Lemmas.olean.hash -lib/lean/Std/Data/List/Lemmas.trace -lib/lean/Std/Data/List/Pairwise.ilean -lib/lean/Std/Data/List/Pairwise.ilean.hash -lib/lean/Std/Data/List/Pairwise.olean -lib/lean/Std/Data/List/Pairwise.olean.hash -lib/lean/Std/Data/List/Pairwise.trace -lib/lean/Std/Data/List/Perm.ilean -lib/lean/Std/Data/List/Perm.ilean.hash -lib/lean/Std/Data/List/Perm.olean -lib/lean/Std/Data/List/Perm.olean.hash -lib/lean/Std/Data/List/Perm.trace -lib/lean/Std/Data/MLList/Basic.ilean -lib/lean/Std/Data/MLList/Basic.ilean.hash -lib/lean/Std/Data/MLList/Basic.olean -lib/lean/Std/Data/MLList/Basic.olean.hash -lib/lean/Std/Data/MLList/Basic.trace -lib/lean/Std/Data/MLList/Heartbeats.ilean -lib/lean/Std/Data/MLList/Heartbeats.ilean.hash -lib/lean/Std/Data/MLList/Heartbeats.olean -lib/lean/Std/Data/MLList/Heartbeats.olean.hash -lib/lean/Std/Data/MLList/Heartbeats.trace -lib/lean/Std/Data/MLList/IO.ilean -lib/lean/Std/Data/MLList/IO.ilean.hash -lib/lean/Std/Data/MLList/IO.olean -lib/lean/Std/Data/MLList/IO.olean.hash -lib/lean/Std/Data/MLList/IO.trace -lib/lean/Std/Data/Nat/Basic.ilean -lib/lean/Std/Data/Nat/Basic.ilean.hash -lib/lean/Std/Data/Nat/Basic.olean -lib/lean/Std/Data/Nat/Basic.olean.hash -lib/lean/Std/Data/Nat/Basic.trace -lib/lean/Std/Data/Nat/Bitwise.ilean -lib/lean/Std/Data/Nat/Bitwise.ilean.hash -lib/lean/Std/Data/Nat/Bitwise.olean -lib/lean/Std/Data/Nat/Bitwise.olean.hash -lib/lean/Std/Data/Nat/Bitwise.trace -lib/lean/Std/Data/Nat/Gcd.ilean -lib/lean/Std/Data/Nat/Gcd.ilean.hash -lib/lean/Std/Data/Nat/Gcd.olean -lib/lean/Std/Data/Nat/Gcd.olean.hash -lib/lean/Std/Data/Nat/Gcd.trace -lib/lean/Std/Data/Nat/Init/Lemmas.ilean -lib/lean/Std/Data/Nat/Init/Lemmas.ilean.hash -lib/lean/Std/Data/Nat/Init/Lemmas.olean -lib/lean/Std/Data/Nat/Init/Lemmas.olean.hash -lib/lean/Std/Data/Nat/Init/Lemmas.trace -lib/lean/Std/Data/Nat/Lemmas.ilean -lib/lean/Std/Data/Nat/Lemmas.ilean.hash -lib/lean/Std/Data/Nat/Lemmas.olean -lib/lean/Std/Data/Nat/Lemmas.olean.hash -lib/lean/Std/Data/Nat/Lemmas.trace -lib/lean/Std/Data/Option/Basic.ilean -lib/lean/Std/Data/Option/Basic.ilean.hash -lib/lean/Std/Data/Option/Basic.olean -lib/lean/Std/Data/Option/Basic.olean.hash -lib/lean/Std/Data/Option/Basic.trace -lib/lean/Std/Data/Option/Init/Lemmas.ilean -lib/lean/Std/Data/Option/Init/Lemmas.ilean.hash -lib/lean/Std/Data/Option/Init/Lemmas.olean -lib/lean/Std/Data/Option/Init/Lemmas.olean.hash -lib/lean/Std/Data/Option/Init/Lemmas.trace -lib/lean/Std/Data/Option/Lemmas.ilean -lib/lean/Std/Data/Option/Lemmas.ilean.hash -lib/lean/Std/Data/Option/Lemmas.olean -lib/lean/Std/Data/Option/Lemmas.olean.hash -lib/lean/Std/Data/Option/Lemmas.trace -lib/lean/Std/Data/Ord.ilean -lib/lean/Std/Data/Ord.ilean.hash -lib/lean/Std/Data/Ord.olean -lib/lean/Std/Data/Ord.olean.hash -lib/lean/Std/Data/Ord.trace -lib/lean/Std/Data/PairingHeap.ilean -lib/lean/Std/Data/PairingHeap.ilean.hash -lib/lean/Std/Data/PairingHeap.olean -lib/lean/Std/Data/PairingHeap.olean.hash -lib/lean/Std/Data/PairingHeap.trace -lib/lean/Std/Data/Prod/Lex.ilean -lib/lean/Std/Data/Prod/Lex.ilean.hash -lib/lean/Std/Data/Prod/Lex.olean -lib/lean/Std/Data/Prod/Lex.olean.hash -lib/lean/Std/Data/Prod/Lex.trace -lib/lean/Std/Data/RBMap.ilean -lib/lean/Std/Data/RBMap.ilean.hash -lib/lean/Std/Data/RBMap.olean -lib/lean/Std/Data/RBMap.olean.hash -lib/lean/Std/Data/RBMap.trace -lib/lean/Std/Data/RBMap/Alter.ilean -lib/lean/Std/Data/RBMap/Alter.ilean.hash -lib/lean/Std/Data/RBMap/Alter.olean -lib/lean/Std/Data/RBMap/Alter.olean.hash -lib/lean/Std/Data/RBMap/Alter.trace -lib/lean/Std/Data/RBMap/Basic.ilean -lib/lean/Std/Data/RBMap/Basic.ilean.hash -lib/lean/Std/Data/RBMap/Basic.olean -lib/lean/Std/Data/RBMap/Basic.olean.hash -lib/lean/Std/Data/RBMap/Basic.trace -lib/lean/Std/Data/RBMap/Lemmas.ilean -lib/lean/Std/Data/RBMap/Lemmas.ilean.hash -lib/lean/Std/Data/RBMap/Lemmas.olean -lib/lean/Std/Data/RBMap/Lemmas.olean.hash -lib/lean/Std/Data/RBMap/Lemmas.trace -lib/lean/Std/Data/RBMap/WF.ilean -lib/lean/Std/Data/RBMap/WF.ilean.hash -lib/lean/Std/Data/RBMap/WF.olean -lib/lean/Std/Data/RBMap/WF.olean.hash -lib/lean/Std/Data/RBMap/WF.trace -lib/lean/Std/Data/Range/Lemmas.ilean -lib/lean/Std/Data/Range/Lemmas.ilean.hash -lib/lean/Std/Data/Range/Lemmas.olean -lib/lean/Std/Data/Range/Lemmas.olean.hash -lib/lean/Std/Data/Range/Lemmas.trace -lib/lean/Std/Data/Rat.ilean -lib/lean/Std/Data/Rat.ilean.hash -lib/lean/Std/Data/Rat.olean -lib/lean/Std/Data/Rat.olean.hash -lib/lean/Std/Data/Rat.trace -lib/lean/Std/Data/Rat/Basic.ilean -lib/lean/Std/Data/Rat/Basic.ilean.hash -lib/lean/Std/Data/Rat/Basic.olean -lib/lean/Std/Data/Rat/Basic.olean.hash -lib/lean/Std/Data/Rat/Basic.trace -lib/lean/Std/Data/Rat/Lemmas.ilean -lib/lean/Std/Data/Rat/Lemmas.ilean.hash -lib/lean/Std/Data/Rat/Lemmas.olean -lib/lean/Std/Data/Rat/Lemmas.olean.hash -lib/lean/Std/Data/Rat/Lemmas.trace -lib/lean/Std/Data/String.ilean -lib/lean/Std/Data/String.ilean.hash -lib/lean/Std/Data/String.olean -lib/lean/Std/Data/String.olean.hash -lib/lean/Std/Data/String.trace -lib/lean/Std/Data/String/Basic.ilean -lib/lean/Std/Data/String/Basic.ilean.hash -lib/lean/Std/Data/String/Basic.olean -lib/lean/Std/Data/String/Basic.olean.hash -lib/lean/Std/Data/String/Basic.trace -lib/lean/Std/Data/String/Lemmas.ilean -lib/lean/Std/Data/String/Lemmas.ilean.hash -lib/lean/Std/Data/String/Lemmas.olean -lib/lean/Std/Data/String/Lemmas.olean.hash -lib/lean/Std/Data/String/Lemmas.trace -lib/lean/Std/Data/Sum.ilean -lib/lean/Std/Data/Sum.ilean.hash -lib/lean/Std/Data/Sum.olean -lib/lean/Std/Data/Sum.olean.hash -lib/lean/Std/Data/Sum.trace -lib/lean/Std/Data/Sum/Basic.ilean -lib/lean/Std/Data/Sum/Basic.ilean.hash -lib/lean/Std/Data/Sum/Basic.olean -lib/lean/Std/Data/Sum/Basic.olean.hash -lib/lean/Std/Data/Sum/Basic.trace -lib/lean/Std/Data/Sum/Lemmas.ilean -lib/lean/Std/Data/Sum/Lemmas.ilean.hash -lib/lean/Std/Data/Sum/Lemmas.olean -lib/lean/Std/Data/Sum/Lemmas.olean.hash -lib/lean/Std/Data/Sum/Lemmas.trace -lib/lean/Std/Lean/AttributeExtra.ilean -lib/lean/Std/Lean/AttributeExtra.ilean.hash -lib/lean/Std/Lean/AttributeExtra.olean -lib/lean/Std/Lean/AttributeExtra.olean.hash -lib/lean/Std/Lean/AttributeExtra.trace -lib/lean/Std/Lean/Command.ilean -lib/lean/Std/Lean/Command.ilean.hash -lib/lean/Std/Lean/Command.olean -lib/lean/Std/Lean/Command.olean.hash -lib/lean/Std/Lean/Command.trace -lib/lean/Std/Lean/CoreM.ilean -lib/lean/Std/Lean/CoreM.ilean.hash -lib/lean/Std/Lean/CoreM.olean -lib/lean/Std/Lean/CoreM.olean.hash -lib/lean/Std/Lean/CoreM.trace -lib/lean/Std/Lean/Delaborator.ilean -lib/lean/Std/Lean/Delaborator.ilean.hash -lib/lean/Std/Lean/Delaborator.olean -lib/lean/Std/Lean/Delaborator.olean.hash -lib/lean/Std/Lean/Delaborator.trace -lib/lean/Std/Lean/Elab/Tactic.ilean -lib/lean/Std/Lean/Elab/Tactic.ilean.hash -lib/lean/Std/Lean/Elab/Tactic.olean -lib/lean/Std/Lean/Elab/Tactic.olean.hash -lib/lean/Std/Lean/Elab/Tactic.trace -lib/lean/Std/Lean/Expr.ilean -lib/lean/Std/Lean/Expr.ilean.hash -lib/lean/Std/Lean/Expr.olean -lib/lean/Std/Lean/Expr.olean.hash -lib/lean/Std/Lean/Expr.trace -lib/lean/Std/Lean/Float.ilean -lib/lean/Std/Lean/Float.ilean.hash -lib/lean/Std/Lean/Float.olean -lib/lean/Std/Lean/Float.olean.hash -lib/lean/Std/Lean/Float.trace -lib/lean/Std/Lean/Format.ilean -lib/lean/Std/Lean/Format.ilean.hash -lib/lean/Std/Lean/Format.olean -lib/lean/Std/Lean/Format.olean.hash -lib/lean/Std/Lean/Format.trace -lib/lean/Std/Lean/HashMap.ilean -lib/lean/Std/Lean/HashMap.ilean.hash -lib/lean/Std/Lean/HashMap.olean -lib/lean/Std/Lean/HashMap.olean.hash -lib/lean/Std/Lean/HashMap.trace -lib/lean/Std/Lean/HashSet.ilean -lib/lean/Std/Lean/HashSet.ilean.hash -lib/lean/Std/Lean/HashSet.olean -lib/lean/Std/Lean/HashSet.olean.hash -lib/lean/Std/Lean/HashSet.trace -lib/lean/Std/Lean/InfoTree.ilean -lib/lean/Std/Lean/InfoTree.ilean.hash -lib/lean/Std/Lean/InfoTree.olean -lib/lean/Std/Lean/InfoTree.olean.hash -lib/lean/Std/Lean/InfoTree.trace -lib/lean/Std/Lean/Json.ilean -lib/lean/Std/Lean/Json.ilean.hash -lib/lean/Std/Lean/Json.olean -lib/lean/Std/Lean/Json.olean.hash -lib/lean/Std/Lean/Json.trace -lib/lean/Std/Lean/LocalContext.ilean -lib/lean/Std/Lean/LocalContext.ilean.hash -lib/lean/Std/Lean/LocalContext.olean -lib/lean/Std/Lean/LocalContext.olean.hash -lib/lean/Std/Lean/LocalContext.trace -lib/lean/Std/Lean/Meta/AssertHypotheses.ilean -lib/lean/Std/Lean/Meta/AssertHypotheses.ilean.hash -lib/lean/Std/Lean/Meta/AssertHypotheses.olean -lib/lean/Std/Lean/Meta/AssertHypotheses.olean.hash -lib/lean/Std/Lean/Meta/AssertHypotheses.trace -lib/lean/Std/Lean/Meta/Basic.ilean -lib/lean/Std/Lean/Meta/Basic.ilean.hash -lib/lean/Std/Lean/Meta/Basic.olean -lib/lean/Std/Lean/Meta/Basic.olean.hash -lib/lean/Std/Lean/Meta/Basic.trace -lib/lean/Std/Lean/Meta/Clear.ilean -lib/lean/Std/Lean/Meta/Clear.ilean.hash -lib/lean/Std/Lean/Meta/Clear.olean -lib/lean/Std/Lean/Meta/Clear.olean.hash -lib/lean/Std/Lean/Meta/Clear.trace -lib/lean/Std/Lean/Meta/DiscrTree.ilean -lib/lean/Std/Lean/Meta/DiscrTree.ilean.hash -lib/lean/Std/Lean/Meta/DiscrTree.olean -lib/lean/Std/Lean/Meta/DiscrTree.olean.hash -lib/lean/Std/Lean/Meta/DiscrTree.trace -lib/lean/Std/Lean/Meta/Expr.ilean -lib/lean/Std/Lean/Meta/Expr.ilean.hash -lib/lean/Std/Lean/Meta/Expr.olean -lib/lean/Std/Lean/Meta/Expr.olean.hash -lib/lean/Std/Lean/Meta/Expr.trace -lib/lean/Std/Lean/Meta/Inaccessible.ilean -lib/lean/Std/Lean/Meta/Inaccessible.ilean.hash -lib/lean/Std/Lean/Meta/Inaccessible.olean -lib/lean/Std/Lean/Meta/Inaccessible.olean.hash -lib/lean/Std/Lean/Meta/Inaccessible.trace -lib/lean/Std/Lean/Meta/InstantiateMVars.ilean -lib/lean/Std/Lean/Meta/InstantiateMVars.ilean.hash -lib/lean/Std/Lean/Meta/InstantiateMVars.olean -lib/lean/Std/Lean/Meta/InstantiateMVars.olean.hash -lib/lean/Std/Lean/Meta/InstantiateMVars.trace -lib/lean/Std/Lean/Meta/SavedState.ilean -lib/lean/Std/Lean/Meta/SavedState.ilean.hash -lib/lean/Std/Lean/Meta/SavedState.olean -lib/lean/Std/Lean/Meta/SavedState.olean.hash -lib/lean/Std/Lean/Meta/SavedState.trace -lib/lean/Std/Lean/Meta/Simp.ilean -lib/lean/Std/Lean/Meta/Simp.ilean.hash -lib/lean/Std/Lean/Meta/Simp.olean -lib/lean/Std/Lean/Meta/Simp.olean.hash -lib/lean/Std/Lean/Meta/Simp.trace -lib/lean/Std/Lean/Meta/UnusedNames.ilean -lib/lean/Std/Lean/Meta/UnusedNames.ilean.hash -lib/lean/Std/Lean/Meta/UnusedNames.olean -lib/lean/Std/Lean/Meta/UnusedNames.olean.hash -lib/lean/Std/Lean/Meta/UnusedNames.trace -lib/lean/Std/Lean/MonadBacktrack.ilean -lib/lean/Std/Lean/MonadBacktrack.ilean.hash -lib/lean/Std/Lean/MonadBacktrack.olean -lib/lean/Std/Lean/MonadBacktrack.olean.hash -lib/lean/Std/Lean/MonadBacktrack.trace -lib/lean/Std/Lean/Name.ilean -lib/lean/Std/Lean/Name.ilean.hash -lib/lean/Std/Lean/Name.olean -lib/lean/Std/Lean/Name.olean.hash -lib/lean/Std/Lean/Name.trace -lib/lean/Std/Lean/NameMapAttribute.ilean -lib/lean/Std/Lean/NameMapAttribute.ilean.hash -lib/lean/Std/Lean/NameMapAttribute.olean -lib/lean/Std/Lean/NameMapAttribute.olean.hash -lib/lean/Std/Lean/NameMapAttribute.trace -lib/lean/Std/Lean/Parser.ilean -lib/lean/Std/Lean/Parser.ilean.hash -lib/lean/Std/Lean/Parser.olean -lib/lean/Std/Lean/Parser.olean.hash -lib/lean/Std/Lean/Parser.trace -lib/lean/Std/Lean/PersistentHashMap.ilean -lib/lean/Std/Lean/PersistentHashMap.ilean.hash -lib/lean/Std/Lean/PersistentHashMap.olean -lib/lean/Std/Lean/PersistentHashMap.olean.hash -lib/lean/Std/Lean/PersistentHashMap.trace -lib/lean/Std/Lean/PersistentHashSet.ilean -lib/lean/Std/Lean/PersistentHashSet.ilean.hash -lib/lean/Std/Lean/PersistentHashSet.olean -lib/lean/Std/Lean/PersistentHashSet.olean.hash -lib/lean/Std/Lean/PersistentHashSet.trace -lib/lean/Std/Lean/Position.ilean -lib/lean/Std/Lean/Position.ilean.hash -lib/lean/Std/Lean/Position.olean -lib/lean/Std/Lean/Position.olean.hash -lib/lean/Std/Lean/Position.trace -lib/lean/Std/Lean/System/IO.ilean -lib/lean/Std/Lean/System/IO.ilean.hash -lib/lean/Std/Lean/System/IO.olean -lib/lean/Std/Lean/System/IO.olean.hash -lib/lean/Std/Lean/System/IO.trace -lib/lean/Std/Lean/Tactic.ilean -lib/lean/Std/Lean/Tactic.ilean.hash -lib/lean/Std/Lean/Tactic.olean -lib/lean/Std/Lean/Tactic.olean.hash -lib/lean/Std/Lean/Tactic.trace -lib/lean/Std/Lean/TagAttribute.ilean -lib/lean/Std/Lean/TagAttribute.ilean.hash -lib/lean/Std/Lean/TagAttribute.olean -lib/lean/Std/Lean/TagAttribute.olean.hash -lib/lean/Std/Lean/TagAttribute.trace -lib/lean/Std/Lean/Util/EnvSearch.ilean -lib/lean/Std/Lean/Util/EnvSearch.ilean.hash -lib/lean/Std/Lean/Util/EnvSearch.olean -lib/lean/Std/Lean/Util/EnvSearch.olean.hash -lib/lean/Std/Lean/Util/EnvSearch.trace -lib/lean/Std/Lean/Util/Path.ilean -lib/lean/Std/Lean/Util/Path.ilean.hash -lib/lean/Std/Lean/Util/Path.olean -lib/lean/Std/Lean/Util/Path.olean.hash -lib/lean/Std/Lean/Util/Path.trace -lib/lean/Std/Linter.ilean -lib/lean/Std/Linter.ilean.hash -lib/lean/Std/Linter.olean -lib/lean/Std/Linter.olean.hash -lib/lean/Std/Linter.trace -lib/lean/Std/Linter/UnnecessarySeqFocus.ilean -lib/lean/Std/Linter/UnnecessarySeqFocus.ilean.hash -lib/lean/Std/Linter/UnnecessarySeqFocus.olean -lib/lean/Std/Linter/UnnecessarySeqFocus.olean.hash -lib/lean/Std/Linter/UnnecessarySeqFocus.trace -lib/lean/Std/Linter/UnreachableTactic.ilean -lib/lean/Std/Linter/UnreachableTactic.ilean.hash -lib/lean/Std/Linter/UnreachableTactic.olean -lib/lean/Std/Linter/UnreachableTactic.olean.hash -lib/lean/Std/Linter/UnreachableTactic.trace -lib/lean/Std/Logic.ilean -lib/lean/Std/Logic.ilean.hash -lib/lean/Std/Logic.olean -lib/lean/Std/Logic.olean.hash -lib/lean/Std/Logic.trace -lib/lean/Std/Tactic/Alias.ilean -lib/lean/Std/Tactic/Alias.ilean.hash -lib/lean/Std/Tactic/Alias.olean -lib/lean/Std/Tactic/Alias.olean.hash -lib/lean/Std/Tactic/Alias.trace -lib/lean/Std/Tactic/Basic.ilean -lib/lean/Std/Tactic/Basic.ilean.hash -lib/lean/Std/Tactic/Basic.olean -lib/lean/Std/Tactic/Basic.olean.hash -lib/lean/Std/Tactic/Basic.trace -lib/lean/Std/Tactic/ByCases.ilean -lib/lean/Std/Tactic/ByCases.ilean.hash -lib/lean/Std/Tactic/ByCases.olean -lib/lean/Std/Tactic/ByCases.olean.hash -lib/lean/Std/Tactic/ByCases.trace -lib/lean/Std/Tactic/Case.ilean -lib/lean/Std/Tactic/Case.ilean.hash -lib/lean/Std/Tactic/Case.olean -lib/lean/Std/Tactic/Case.olean.hash -lib/lean/Std/Tactic/Case.trace -lib/lean/Std/Tactic/Change.ilean -lib/lean/Std/Tactic/Change.ilean.hash -lib/lean/Std/Tactic/Change.olean -lib/lean/Std/Tactic/Change.olean.hash -lib/lean/Std/Tactic/Change.trace -lib/lean/Std/Tactic/CoeExt.ilean -lib/lean/Std/Tactic/CoeExt.ilean.hash -lib/lean/Std/Tactic/CoeExt.olean -lib/lean/Std/Tactic/CoeExt.olean.hash -lib/lean/Std/Tactic/CoeExt.trace -lib/lean/Std/Tactic/Congr.ilean -lib/lean/Std/Tactic/Congr.ilean.hash -lib/lean/Std/Tactic/Congr.olean -lib/lean/Std/Tactic/Congr.olean.hash -lib/lean/Std/Tactic/Congr.trace -lib/lean/Std/Tactic/Exact.ilean -lib/lean/Std/Tactic/Exact.ilean.hash -lib/lean/Std/Tactic/Exact.olean -lib/lean/Std/Tactic/Exact.olean.hash -lib/lean/Std/Tactic/Exact.trace -lib/lean/Std/Tactic/Ext.ilean -lib/lean/Std/Tactic/Ext.ilean.hash -lib/lean/Std/Tactic/Ext.olean -lib/lean/Std/Tactic/Ext.olean.hash -lib/lean/Std/Tactic/Ext.trace -lib/lean/Std/Tactic/Ext/Attr.ilean -lib/lean/Std/Tactic/Ext/Attr.ilean.hash -lib/lean/Std/Tactic/Ext/Attr.olean -lib/lean/Std/Tactic/Ext/Attr.olean.hash -lib/lean/Std/Tactic/Ext/Attr.trace -lib/lean/Std/Tactic/FalseOrByContra.ilean -lib/lean/Std/Tactic/FalseOrByContra.ilean.hash -lib/lean/Std/Tactic/FalseOrByContra.olean -lib/lean/Std/Tactic/FalseOrByContra.olean.hash -lib/lean/Std/Tactic/FalseOrByContra.trace -lib/lean/Std/Tactic/GuardExpr.ilean -lib/lean/Std/Tactic/GuardExpr.ilean.hash -lib/lean/Std/Tactic/GuardExpr.olean -lib/lean/Std/Tactic/GuardExpr.olean.hash -lib/lean/Std/Tactic/GuardExpr.trace -lib/lean/Std/Tactic/GuardMsgs.ilean -lib/lean/Std/Tactic/GuardMsgs.ilean.hash -lib/lean/Std/Tactic/GuardMsgs.olean -lib/lean/Std/Tactic/GuardMsgs.olean.hash -lib/lean/Std/Tactic/GuardMsgs.trace -lib/lean/Std/Tactic/HaveI.ilean -lib/lean/Std/Tactic/HaveI.ilean.hash -lib/lean/Std/Tactic/HaveI.olean -lib/lean/Std/Tactic/HaveI.olean.hash -lib/lean/Std/Tactic/HaveI.trace -lib/lean/Std/Tactic/Instances.ilean -lib/lean/Std/Tactic/Instances.ilean.hash -lib/lean/Std/Tactic/Instances.olean -lib/lean/Std/Tactic/Instances.olean.hash -lib/lean/Std/Tactic/Instances.trace -lib/lean/Std/Tactic/LabelAttr.ilean -lib/lean/Std/Tactic/LabelAttr.ilean.hash -lib/lean/Std/Tactic/LabelAttr.olean -lib/lean/Std/Tactic/LabelAttr.olean.hash -lib/lean/Std/Tactic/LabelAttr.trace -lib/lean/Std/Tactic/LeftRight.ilean -lib/lean/Std/Tactic/LeftRight.ilean.hash -lib/lean/Std/Tactic/LeftRight.olean -lib/lean/Std/Tactic/LeftRight.olean.hash -lib/lean/Std/Tactic/LeftRight.trace -lib/lean/Std/Tactic/Lint.ilean -lib/lean/Std/Tactic/Lint.ilean.hash -lib/lean/Std/Tactic/Lint.olean -lib/lean/Std/Tactic/Lint.olean.hash -lib/lean/Std/Tactic/Lint.trace -lib/lean/Std/Tactic/Lint/Basic.ilean -lib/lean/Std/Tactic/Lint/Basic.ilean.hash -lib/lean/Std/Tactic/Lint/Basic.olean -lib/lean/Std/Tactic/Lint/Basic.olean.hash -lib/lean/Std/Tactic/Lint/Basic.trace -lib/lean/Std/Tactic/Lint/Frontend.ilean -lib/lean/Std/Tactic/Lint/Frontend.ilean.hash -lib/lean/Std/Tactic/Lint/Frontend.olean -lib/lean/Std/Tactic/Lint/Frontend.olean.hash -lib/lean/Std/Tactic/Lint/Frontend.trace -lib/lean/Std/Tactic/Lint/Misc.ilean -lib/lean/Std/Tactic/Lint/Misc.ilean.hash -lib/lean/Std/Tactic/Lint/Misc.olean -lib/lean/Std/Tactic/Lint/Misc.olean.hash -lib/lean/Std/Tactic/Lint/Misc.trace -lib/lean/Std/Tactic/Lint/Simp.ilean -lib/lean/Std/Tactic/Lint/Simp.ilean.hash -lib/lean/Std/Tactic/Lint/Simp.olean -lib/lean/Std/Tactic/Lint/Simp.olean.hash -lib/lean/Std/Tactic/Lint/Simp.trace -lib/lean/Std/Tactic/Lint/TypeClass.ilean -lib/lean/Std/Tactic/Lint/TypeClass.ilean.hash -lib/lean/Std/Tactic/Lint/TypeClass.olean -lib/lean/Std/Tactic/Lint/TypeClass.olean.hash -lib/lean/Std/Tactic/Lint/TypeClass.trace -lib/lean/Std/Tactic/NoMatch.ilean -lib/lean/Std/Tactic/NoMatch.ilean.hash -lib/lean/Std/Tactic/NoMatch.olean -lib/lean/Std/Tactic/NoMatch.olean.hash -lib/lean/Std/Tactic/NoMatch.trace -lib/lean/Std/Tactic/NormCast.ilean -lib/lean/Std/Tactic/NormCast.ilean.hash -lib/lean/Std/Tactic/NormCast.olean -lib/lean/Std/Tactic/NormCast.olean.hash -lib/lean/Std/Tactic/NormCast.trace -lib/lean/Std/Tactic/NormCast/Ext.ilean -lib/lean/Std/Tactic/NormCast/Ext.ilean.hash -lib/lean/Std/Tactic/NormCast/Ext.olean -lib/lean/Std/Tactic/NormCast/Ext.olean.hash -lib/lean/Std/Tactic/NormCast/Ext.trace -lib/lean/Std/Tactic/NormCast/Lemmas.ilean -lib/lean/Std/Tactic/NormCast/Lemmas.ilean.hash -lib/lean/Std/Tactic/NormCast/Lemmas.olean -lib/lean/Std/Tactic/NormCast/Lemmas.olean.hash -lib/lean/Std/Tactic/NormCast/Lemmas.trace -lib/lean/Std/Tactic/Omega.ilean -lib/lean/Std/Tactic/Omega.ilean.hash -lib/lean/Std/Tactic/Omega.olean -lib/lean/Std/Tactic/Omega.olean.hash -lib/lean/Std/Tactic/Omega.trace -lib/lean/Std/Tactic/Omega/Coeffs/IntList.ilean -lib/lean/Std/Tactic/Omega/Coeffs/IntList.ilean.hash -lib/lean/Std/Tactic/Omega/Coeffs/IntList.olean -lib/lean/Std/Tactic/Omega/Coeffs/IntList.olean.hash -lib/lean/Std/Tactic/Omega/Coeffs/IntList.trace -lib/lean/Std/Tactic/Omega/Config.ilean -lib/lean/Std/Tactic/Omega/Config.ilean.hash -lib/lean/Std/Tactic/Omega/Config.olean -lib/lean/Std/Tactic/Omega/Config.olean.hash -lib/lean/Std/Tactic/Omega/Config.trace -lib/lean/Std/Tactic/Omega/Constraint.ilean -lib/lean/Std/Tactic/Omega/Constraint.ilean.hash -lib/lean/Std/Tactic/Omega/Constraint.olean -lib/lean/Std/Tactic/Omega/Constraint.olean.hash -lib/lean/Std/Tactic/Omega/Constraint.trace -lib/lean/Std/Tactic/Omega/Core.ilean -lib/lean/Std/Tactic/Omega/Core.ilean.hash -lib/lean/Std/Tactic/Omega/Core.olean -lib/lean/Std/Tactic/Omega/Core.olean.hash -lib/lean/Std/Tactic/Omega/Core.trace -lib/lean/Std/Tactic/Omega/Frontend.ilean -lib/lean/Std/Tactic/Omega/Frontend.ilean.hash -lib/lean/Std/Tactic/Omega/Frontend.olean -lib/lean/Std/Tactic/Omega/Frontend.olean.hash -lib/lean/Std/Tactic/Omega/Frontend.trace -lib/lean/Std/Tactic/Omega/Int.ilean -lib/lean/Std/Tactic/Omega/Int.ilean.hash -lib/lean/Std/Tactic/Omega/Int.olean -lib/lean/Std/Tactic/Omega/Int.olean.hash -lib/lean/Std/Tactic/Omega/Int.trace -lib/lean/Std/Tactic/Omega/IntList.ilean -lib/lean/Std/Tactic/Omega/IntList.ilean.hash -lib/lean/Std/Tactic/Omega/IntList.olean -lib/lean/Std/Tactic/Omega/IntList.olean.hash -lib/lean/Std/Tactic/Omega/IntList.trace -lib/lean/Std/Tactic/Omega/LinearCombo.ilean -lib/lean/Std/Tactic/Omega/LinearCombo.ilean.hash -lib/lean/Std/Tactic/Omega/LinearCombo.olean -lib/lean/Std/Tactic/Omega/LinearCombo.olean.hash -lib/lean/Std/Tactic/Omega/LinearCombo.trace -lib/lean/Std/Tactic/Omega/Logic.ilean -lib/lean/Std/Tactic/Omega/Logic.ilean.hash -lib/lean/Std/Tactic/Omega/Logic.olean -lib/lean/Std/Tactic/Omega/Logic.olean.hash -lib/lean/Std/Tactic/Omega/Logic.trace -lib/lean/Std/Tactic/Omega/MinNatAbs.ilean -lib/lean/Std/Tactic/Omega/MinNatAbs.ilean.hash -lib/lean/Std/Tactic/Omega/MinNatAbs.olean -lib/lean/Std/Tactic/Omega/MinNatAbs.olean.hash -lib/lean/Std/Tactic/Omega/MinNatAbs.trace -lib/lean/Std/Tactic/Omega/OmegaM.ilean -lib/lean/Std/Tactic/Omega/OmegaM.ilean.hash -lib/lean/Std/Tactic/Omega/OmegaM.olean -lib/lean/Std/Tactic/Omega/OmegaM.olean.hash -lib/lean/Std/Tactic/Omega/OmegaM.trace -lib/lean/Std/Tactic/OpenPrivate.ilean -lib/lean/Std/Tactic/OpenPrivate.ilean.hash -lib/lean/Std/Tactic/OpenPrivate.olean -lib/lean/Std/Tactic/OpenPrivate.olean.hash -lib/lean/Std/Tactic/OpenPrivate.trace -lib/lean/Std/Tactic/PermuteGoals.ilean -lib/lean/Std/Tactic/PermuteGoals.ilean.hash -lib/lean/Std/Tactic/PermuteGoals.olean -lib/lean/Std/Tactic/PermuteGoals.olean.hash -lib/lean/Std/Tactic/PermuteGoals.trace -lib/lean/Std/Tactic/PrintDependents.ilean -lib/lean/Std/Tactic/PrintDependents.ilean.hash -lib/lean/Std/Tactic/PrintDependents.olean -lib/lean/Std/Tactic/PrintDependents.olean.hash -lib/lean/Std/Tactic/PrintDependents.trace -lib/lean/Std/Tactic/PrintPrefix.ilean -lib/lean/Std/Tactic/PrintPrefix.ilean.hash -lib/lean/Std/Tactic/PrintPrefix.olean -lib/lean/Std/Tactic/PrintPrefix.olean.hash -lib/lean/Std/Tactic/PrintPrefix.trace -lib/lean/Std/Tactic/RCases.ilean -lib/lean/Std/Tactic/RCases.ilean.hash -lib/lean/Std/Tactic/RCases.olean -lib/lean/Std/Tactic/RCases.olean.hash -lib/lean/Std/Tactic/RCases.trace -lib/lean/Std/Tactic/Relation/Rfl.ilean -lib/lean/Std/Tactic/Relation/Rfl.ilean.hash -lib/lean/Std/Tactic/Relation/Rfl.olean -lib/lean/Std/Tactic/Relation/Rfl.olean.hash -lib/lean/Std/Tactic/Relation/Rfl.trace -lib/lean/Std/Tactic/Relation/Symm.ilean -lib/lean/Std/Tactic/Relation/Symm.ilean.hash -lib/lean/Std/Tactic/Relation/Symm.olean -lib/lean/Std/Tactic/Relation/Symm.olean.hash -lib/lean/Std/Tactic/Relation/Symm.trace -lib/lean/Std/Tactic/Replace.ilean -lib/lean/Std/Tactic/Replace.ilean.hash -lib/lean/Std/Tactic/Replace.olean -lib/lean/Std/Tactic/Replace.olean.hash -lib/lean/Std/Tactic/Replace.trace -lib/lean/Std/Tactic/RunCmd.ilean -lib/lean/Std/Tactic/RunCmd.ilean.hash -lib/lean/Std/Tactic/RunCmd.olean -lib/lean/Std/Tactic/RunCmd.olean.hash -lib/lean/Std/Tactic/RunCmd.trace -lib/lean/Std/Tactic/SeqFocus.ilean -lib/lean/Std/Tactic/SeqFocus.ilean.hash -lib/lean/Std/Tactic/SeqFocus.olean -lib/lean/Std/Tactic/SeqFocus.olean.hash -lib/lean/Std/Tactic/SeqFocus.trace -lib/lean/Std/Tactic/ShowTerm.ilean -lib/lean/Std/Tactic/ShowTerm.ilean.hash -lib/lean/Std/Tactic/ShowTerm.olean -lib/lean/Std/Tactic/ShowTerm.olean.hash -lib/lean/Std/Tactic/ShowTerm.trace -lib/lean/Std/Tactic/SimpTrace.ilean -lib/lean/Std/Tactic/SimpTrace.ilean.hash -lib/lean/Std/Tactic/SimpTrace.olean -lib/lean/Std/Tactic/SimpTrace.olean.hash -lib/lean/Std/Tactic/SimpTrace.trace -lib/lean/Std/Tactic/Simpa.ilean -lib/lean/Std/Tactic/Simpa.ilean.hash -lib/lean/Std/Tactic/Simpa.olean -lib/lean/Std/Tactic/Simpa.olean.hash -lib/lean/Std/Tactic/Simpa.trace -lib/lean/Std/Tactic/SqueezeScope.ilean -lib/lean/Std/Tactic/SqueezeScope.ilean.hash -lib/lean/Std/Tactic/SqueezeScope.olean -lib/lean/Std/Tactic/SqueezeScope.olean.hash -lib/lean/Std/Tactic/SqueezeScope.trace -lib/lean/Std/Tactic/TryThis.ilean -lib/lean/Std/Tactic/TryThis.ilean.hash -lib/lean/Std/Tactic/TryThis.olean -lib/lean/Std/Tactic/TryThis.olean.hash -lib/lean/Std/Tactic/TryThis.trace -lib/lean/Std/Tactic/Unreachable.ilean -lib/lean/Std/Tactic/Unreachable.ilean.hash -lib/lean/Std/Tactic/Unreachable.olean -lib/lean/Std/Tactic/Unreachable.olean.hash -lib/lean/Std/Tactic/Unreachable.trace -lib/lean/Std/Tactic/Where.ilean -lib/lean/Std/Tactic/Where.ilean.hash -lib/lean/Std/Tactic/Where.olean -lib/lean/Std/Tactic/Where.olean.hash -lib/lean/Std/Tactic/Where.trace -lib/lean/Std/Test/Internal/DummyLabelAttr.ilean -lib/lean/Std/Test/Internal/DummyLabelAttr.ilean.hash -lib/lean/Std/Test/Internal/DummyLabelAttr.olean -lib/lean/Std/Test/Internal/DummyLabelAttr.olean.hash -lib/lean/Std/Test/Internal/DummyLabelAttr.trace -lib/lean/Std/Util/Cache.ilean -lib/lean/Std/Util/Cache.ilean.hash -lib/lean/Std/Util/Cache.olean -lib/lean/Std/Util/Cache.olean.hash -lib/lean/Std/Util/Cache.trace -lib/lean/Std/Util/ExtendedBinder.ilean -lib/lean/Std/Util/ExtendedBinder.ilean.hash -lib/lean/Std/Util/ExtendedBinder.olean -lib/lean/Std/Util/ExtendedBinder.olean.hash -lib/lean/Std/Util/ExtendedBinder.trace -lib/lean/Std/Util/LibraryNote.ilean -lib/lean/Std/Util/LibraryNote.ilean.hash -lib/lean/Std/Util/LibraryNote.olean -lib/lean/Std/Util/LibraryNote.olean.hash -lib/lean/Std/Util/LibraryNote.trace -lib/lean/Std/Util/Pickle.ilean -lib/lean/Std/Util/Pickle.ilean.hash -lib/lean/Std/Util/Pickle.olean -lib/lean/Std/Util/Pickle.olean.hash -lib/lean/Std/Util/Pickle.trace -lib/lean/Std/Util/ProofWanted.ilean -lib/lean/Std/Util/ProofWanted.ilean.hash -lib/lean/Std/Util/ProofWanted.olean -lib/lean/Std/Util/ProofWanted.olean.hash -lib/lean/Std/Util/ProofWanted.trace -lib/lean/Std/Util/TermUnsafe.ilean -lib/lean/Std/Util/TermUnsafe.ilean.hash -lib/lean/Std/Util/TermUnsafe.olean -lib/lean/Std/Util/TermUnsafe.olean.hash -lib/lean/Std/Util/TermUnsafe.trace -lib/lean/Std/WF.ilean -lib/lean/Std/WF.ilean.hash -lib/lean/Std/WF.olean -lib/lean/Std/WF.olean.hash -lib/lean/Std/WF.trace |