From nobody Mon Jan 15 21:14:03 2024 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TDPyh0ZS3z57b3f; Mon, 15 Jan 2024 21:14:04 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TDPyh06Dhz4rPw; Mon, 15 Jan 2024 21:14:04 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1705353244; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=hdBGrJoindZ8tfRhuQVytLY0druT66uVdyX03/eBeKU=; b=fU5ehH5meGHeGyz0Rgq0lqYxqCKFKLSyG9Xao2nsdBKYhq2/CFxWTA4hC06yZ3SI3W5hai Rq8sItdg66plSLTp4wfs0GB61UPzy5XNeNwoqICitEiI8nLb5PdJzqB+3C1n/gfq3OQbO5 MG65LFV6HtZK4YnhfujQ3IuyXA2OilB5dCnNUdyqqGT/cz7gg1/YeOdH37mVHoWFgG6ehZ 3K3x2DR8Y0KV+R+3msY0y/EAM6RVrdwMYlWUZFVWXIEiLthOozxpPfRrVa0i4crtGMNR+N i31NxgKWYym0XfNmnI2fW/TDtTArlhtezjWqT09AytwT6Nlm+GQZ4paw4JoqRw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1705353244; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=hdBGrJoindZ8tfRhuQVytLY0druT66uVdyX03/eBeKU=; b=LoYUOOa9yl7e4lTaVGCwZKRAeKc0O5rCeBrZE72VhpsOhzQjqq7Ee4aFuY0YRpy7f8ygq3 6aKLWqrmeA2EOm4WJKZ0gA1McJX5LUswb/ECXDsfqWo3ro72yEm+qI2Xiff0JEas/AbPMW XeMJi6kz3qfWfwtPLXand5JlDfjYc1+Y9RAMUifcNbaNlWeYG7UhDD0ZkqBSN9P+Gw4d4D vjqNIGtuy5UUv8iBkBAnuFVv/63NVfXxyq10clDIVjb5e9koyq2qbUsmSqrfBvwkUfNDGi Z1WTuR0YLYFxVWO9dUobUFmWtl5fWlzVjCu5GvF8uLdlp10SaPPP0J36c+Lr8Q== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1705353244; a=rsa-sha256; cv=none; b=XOWQcNlkWwLilBlW7fdDfVAAu1qHjAM9NXcchGbgVi1Mh138UL7e8vDs1eWxJOighKB3zx DX3bfzI5BYRIE1bw3anypRfWEOMzmYq/Uprb3HgrwVrnrO3Lq3ri7758yyvgxTvWg4oJob xYcmHN7vSNzYU7bSCcrE6neUfQk8mPR3OtX/E9guk6oMwdQrP63oulBf2O/nWJNXkQ4mQI rHaWgwjgUmryuBmVvI4irKk+BB26xkWcBPlLusYki/udZOW0dNA9XM1VpS9Rj+HrYSb74y 7ZzwZIbV9jpMJWgkRBtplz9qmJ9E9lHgpL12s5WJwgJ8tH3KRlSNDLSnlvkVKQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4TDPyg6Gfdz1BXf; Mon, 15 Jan 2024 21:14:03 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 40FLE3MJ099735; Mon, 15 Jan 2024 21:14:03 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 40FLE3wO099732; Mon, 15 Jan 2024 21:14:03 GMT (envelope-from git) Date: Mon, 15 Jan 2024 21:14:03 GMT Message-Id: <202401152114.40FLE3wO099732@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: b05fa3fd3e88 - main - math/lean4: Add Std4 library List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: b05fa3fd3e8838beb5b3cefb42bb2f93924d6041 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=b05fa3fd3e8838beb5b3cefb42bb2f93924d6041 commit b05fa3fd3e8838beb5b3cefb42bb2f93924d6041 Author: Yuri Victorovich AuthorDate: 2024-01-15 21:13:14 +0000 Commit: Yuri Victorovich CommitDate: 2024-01-15 21:14:01 +0000 math/lean4: Add Std4 library --- math/lean4/Makefile | 12 + math/lean4/distinfo | 4 +- math/lean4/pkg-plist | 926 +++++++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 941 insertions(+), 1 deletion(-) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index a43194860970..3c62a7fad3e9 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,6 +1,7 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v DISTVERSION= 4.5.0-rc1 +PORTREVISION= 1 CATEGORIES= math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment MAINTAINER= yuri@FreeBSD.org @@ -17,6 +18,7 @@ USES= cmake:noninja,testing compiler:c++14-lang gmake python:build # ninja fail USE_GITHUB= yes GH_ACCOUNT= leanprover +GH_TUPLE= leanprover:std4:${DISTVERSIONFULL}:std4 CFLAGS+= -fPIC CXXFLAGS+= -fPIC @@ -34,6 +36,16 @@ post-install: bin/lean \ bin/leanc \ lib/lean/libleanshared.so + # build the standard library std4 + @${ECHO} "==> Building the Std4 library" + @cd ${WRKSRC_std4} && \ + ${STAGEDIR}${PREFIX}/bin/lake build + #${SETENV} PATH=${STAGEDIR}${PREFIX}/bin:${PATH} lake build + # install the standard library std4 + @${ECHO} "==> Installing the Std4 library" + @cd ${WRKSRC_std4}/.lake/build/lib && \ + ${INSTALL_DATA} Std.olean ${STAGEDIR}${PREFIX}/lib/lean && \ + ${COPYTREE_SHARE} Std ${STAGEDIR}${PREFIX}/lib/lean # 6 tests are known to fail due to bugs in the testcase code, see https://github.com/leanprover/lean4/issues/3179 diff --git a/math/lean4/distinfo b/math/lean4/distinfo index d307f90be676..5fc089e34e13 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,5 @@ -TIMESTAMP = 1705134061 +TIMESTAMP = 1705316425 SHA256 (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 8b5ae344816670adb2a68859b2f4c309592feb32674d477e46e061275f9e8129 SIZE (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 17060956 +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/pkg-plist b/math/lean4/pkg-plist index 516a35d47fdb..61db600202a6 100644 --- a/math/lean4/pkg-plist +++ b/math/lean4/pkg-plist @@ -1466,6 +1466,932 @@ lib/lean/Lean/Widget/Types.ilean lib/lean/Lean/Widget/Types.olean lib/lean/Lean/Widget/UserWidget.ilean lib/lean/Lean/Widget/UserWidget.olean +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 *** 15 LINES SKIPPED ***