diff --git a/math/lean4/Makefile b/math/lean4/Makefile index a43194860970..3c62a7fad3e9 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,40 +1,52 @@ 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 COMMENT= Theorem prover and functional language for math (new gen) WWW= https://lean-lang.org/ LICENSE= APACHE20 LICENSE_FILE= ${WRKSRC}/LICENSE BUILD_DEPENDS= bash:shells/bash LIB_DEPENDS= libgmp.so:math/gmp USES= cmake:noninja,testing compiler:c++14-lang gmake python:build # ninja fails + gmake scripts are included in the project USE_GITHUB= yes GH_ACCOUNT= leanprover +GH_TUPLE= leanprover:std4:${DISTVERSIONFULL}:std4 CFLAGS+= -fPIC CXXFLAGS+= -fPIC BINARY_ALIAS= make=${GMAKE} python=${PYTHON_CMD} post-install: # remove empty dirs @${FIND} ${STAGEDIR}${DATADIR} -type d -empty -delete # remove stray files @${RM} ${STAGEDIR}${PREFIX}/LICENSE* # strip binaries @cd ${STAGEDIR}${PREFIX} && ${STRIP_CMD} \ bin/lake \ 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 .include 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 @@ -1,2259 +1,3185 @@ bin/lake bin/lean bin/leanc bin/leanmake include/lean/config.h include/lean/lean.h include/lean/lean_gmp.h include/lean/version.h lib/lean/Init.ilean lib/lean/Init.olean lib/lean/Init/Classical.ilean lib/lean/Init/Classical.olean lib/lean/Init/Coe.ilean lib/lean/Init/Coe.olean lib/lean/Init/Control.ilean lib/lean/Init/Control.olean lib/lean/Init/Control/Basic.ilean lib/lean/Init/Control/Basic.olean lib/lean/Init/Control/EState.ilean lib/lean/Init/Control/EState.olean lib/lean/Init/Control/Except.ilean lib/lean/Init/Control/Except.olean lib/lean/Init/Control/ExceptCps.ilean lib/lean/Init/Control/ExceptCps.olean lib/lean/Init/Control/Id.ilean lib/lean/Init/Control/Id.olean lib/lean/Init/Control/Lawful.ilean lib/lean/Init/Control/Lawful.olean lib/lean/Init/Control/Option.ilean lib/lean/Init/Control/Option.olean lib/lean/Init/Control/Reader.ilean lib/lean/Init/Control/Reader.olean lib/lean/Init/Control/State.ilean lib/lean/Init/Control/State.olean lib/lean/Init/Control/StateCps.ilean lib/lean/Init/Control/StateCps.olean lib/lean/Init/Control/StateRef.ilean lib/lean/Init/Control/StateRef.olean lib/lean/Init/Conv.ilean lib/lean/Init/Conv.olean lib/lean/Init/Core.ilean lib/lean/Init/Core.olean lib/lean/Init/Data.ilean lib/lean/Init/Data.olean lib/lean/Init/Data/AC.ilean lib/lean/Init/Data/AC.olean lib/lean/Init/Data/Array.ilean lib/lean/Init/Data/Array.olean lib/lean/Init/Data/Array/Basic.ilean lib/lean/Init/Data/Array/Basic.olean lib/lean/Init/Data/Array/BasicAux.ilean lib/lean/Init/Data/Array/BasicAux.olean lib/lean/Init/Data/Array/BinSearch.ilean lib/lean/Init/Data/Array/BinSearch.olean lib/lean/Init/Data/Array/DecidableEq.ilean lib/lean/Init/Data/Array/DecidableEq.olean lib/lean/Init/Data/Array/InsertionSort.ilean lib/lean/Init/Data/Array/InsertionSort.olean lib/lean/Init/Data/Array/Mem.ilean lib/lean/Init/Data/Array/Mem.olean lib/lean/Init/Data/Array/QSort.ilean lib/lean/Init/Data/Array/QSort.olean lib/lean/Init/Data/Array/Subarray.ilean lib/lean/Init/Data/Array/Subarray.olean lib/lean/Init/Data/Basic.ilean lib/lean/Init/Data/Basic.olean lib/lean/Init/Data/ByteArray.ilean lib/lean/Init/Data/ByteArray.olean lib/lean/Init/Data/ByteArray/Basic.ilean lib/lean/Init/Data/ByteArray/Basic.olean lib/lean/Init/Data/Channel.ilean lib/lean/Init/Data/Channel.olean lib/lean/Init/Data/Char.ilean lib/lean/Init/Data/Char.olean lib/lean/Init/Data/Char/Basic.ilean lib/lean/Init/Data/Char/Basic.olean lib/lean/Init/Data/Fin.ilean lib/lean/Init/Data/Fin.olean lib/lean/Init/Data/Fin/Basic.ilean lib/lean/Init/Data/Fin/Basic.olean lib/lean/Init/Data/Fin/Log2.ilean lib/lean/Init/Data/Fin/Log2.olean lib/lean/Init/Data/Float.ilean lib/lean/Init/Data/Float.olean lib/lean/Init/Data/FloatArray.ilean lib/lean/Init/Data/FloatArray.olean lib/lean/Init/Data/FloatArray/Basic.ilean lib/lean/Init/Data/FloatArray/Basic.olean lib/lean/Init/Data/Format.ilean lib/lean/Init/Data/Format.olean lib/lean/Init/Data/Format/Basic.ilean lib/lean/Init/Data/Format/Basic.olean lib/lean/Init/Data/Format/Instances.ilean lib/lean/Init/Data/Format/Instances.olean lib/lean/Init/Data/Format/Macro.ilean lib/lean/Init/Data/Format/Macro.olean lib/lean/Init/Data/Format/Syntax.ilean lib/lean/Init/Data/Format/Syntax.olean lib/lean/Init/Data/Hashable.ilean lib/lean/Init/Data/Hashable.olean lib/lean/Init/Data/Int.ilean lib/lean/Init/Data/Int.olean lib/lean/Init/Data/Int/Basic.ilean lib/lean/Init/Data/Int/Basic.olean lib/lean/Init/Data/List.ilean lib/lean/Init/Data/List.olean lib/lean/Init/Data/List/Basic.ilean lib/lean/Init/Data/List/Basic.olean lib/lean/Init/Data/List/BasicAux.ilean lib/lean/Init/Data/List/BasicAux.olean lib/lean/Init/Data/List/Control.ilean lib/lean/Init/Data/List/Control.olean lib/lean/Init/Data/Nat.ilean lib/lean/Init/Data/Nat.olean lib/lean/Init/Data/Nat/Basic.ilean lib/lean/Init/Data/Nat/Basic.olean lib/lean/Init/Data/Nat/Bitwise.ilean lib/lean/Init/Data/Nat/Bitwise.olean lib/lean/Init/Data/Nat/Control.ilean lib/lean/Init/Data/Nat/Control.olean lib/lean/Init/Data/Nat/Div.ilean lib/lean/Init/Data/Nat/Div.olean lib/lean/Init/Data/Nat/Gcd.ilean lib/lean/Init/Data/Nat/Gcd.olean lib/lean/Init/Data/Nat/Linear.ilean lib/lean/Init/Data/Nat/Linear.olean lib/lean/Init/Data/Nat/Log2.ilean lib/lean/Init/Data/Nat/Log2.olean lib/lean/Init/Data/Nat/Power2.ilean lib/lean/Init/Data/Nat/Power2.olean lib/lean/Init/Data/Nat/SOM.ilean lib/lean/Init/Data/Nat/SOM.olean lib/lean/Init/Data/OfScientific.ilean lib/lean/Init/Data/OfScientific.olean lib/lean/Init/Data/Option.ilean lib/lean/Init/Data/Option.olean lib/lean/Init/Data/Option/Basic.ilean lib/lean/Init/Data/Option/Basic.olean lib/lean/Init/Data/Option/BasicAux.ilean lib/lean/Init/Data/Option/BasicAux.olean lib/lean/Init/Data/Option/Instances.ilean lib/lean/Init/Data/Option/Instances.olean lib/lean/Init/Data/Ord.ilean lib/lean/Init/Data/Ord.olean lib/lean/Init/Data/Prod.ilean lib/lean/Init/Data/Prod.olean lib/lean/Init/Data/Queue.ilean lib/lean/Init/Data/Queue.olean lib/lean/Init/Data/Random.ilean lib/lean/Init/Data/Random.olean lib/lean/Init/Data/Range.ilean lib/lean/Init/Data/Range.olean lib/lean/Init/Data/Repr.ilean lib/lean/Init/Data/Repr.olean lib/lean/Init/Data/Stream.ilean lib/lean/Init/Data/Stream.olean lib/lean/Init/Data/String.ilean lib/lean/Init/Data/String.olean lib/lean/Init/Data/String/Basic.ilean lib/lean/Init/Data/String/Basic.olean lib/lean/Init/Data/String/Extra.ilean lib/lean/Init/Data/String/Extra.olean lib/lean/Init/Data/ToString.ilean lib/lean/Init/Data/ToString.olean lib/lean/Init/Data/ToString/Basic.ilean lib/lean/Init/Data/ToString/Basic.olean lib/lean/Init/Data/ToString/Macro.ilean lib/lean/Init/Data/ToString/Macro.olean lib/lean/Init/Data/UInt.ilean lib/lean/Init/Data/UInt.olean lib/lean/Init/Data/UInt/Basic.ilean lib/lean/Init/Data/UInt/Basic.olean lib/lean/Init/Data/UInt/Log2.ilean lib/lean/Init/Data/UInt/Log2.olean lib/lean/Init/Dynamic.ilean lib/lean/Init/Dynamic.olean lib/lean/Init/Hints.ilean lib/lean/Init/Hints.olean lib/lean/Init/Meta.ilean lib/lean/Init/Meta.olean lib/lean/Init/MetaTypes.ilean lib/lean/Init/MetaTypes.olean lib/lean/Init/Notation.ilean lib/lean/Init/Notation.olean lib/lean/Init/NotationExtra.ilean lib/lean/Init/NotationExtra.olean lib/lean/Init/Prelude.ilean lib/lean/Init/Prelude.olean lib/lean/Init/ShareCommon.ilean lib/lean/Init/ShareCommon.olean lib/lean/Init/SimpLemmas.ilean lib/lean/Init/SimpLemmas.olean lib/lean/Init/SizeOf.ilean lib/lean/Init/SizeOf.olean lib/lean/Init/SizeOfLemmas.ilean lib/lean/Init/SizeOfLemmas.olean lib/lean/Init/System.ilean lib/lean/Init/System.olean lib/lean/Init/System/FilePath.ilean lib/lean/Init/System/FilePath.olean lib/lean/Init/System/IO.ilean lib/lean/Init/System/IO.olean lib/lean/Init/System/IOError.ilean lib/lean/Init/System/IOError.olean lib/lean/Init/System/Mutex.ilean lib/lean/Init/System/Mutex.olean lib/lean/Init/System/Platform.ilean lib/lean/Init/System/Platform.olean lib/lean/Init/System/Promise.ilean lib/lean/Init/System/Promise.olean lib/lean/Init/System/ST.ilean lib/lean/Init/System/ST.olean lib/lean/Init/System/Uri.ilean lib/lean/Init/System/Uri.olean lib/lean/Init/Tactics.ilean lib/lean/Init/Tactics.olean lib/lean/Init/Util.ilean lib/lean/Init/Util.olean lib/lean/Init/WF.ilean lib/lean/Init/WF.olean lib/lean/Init/WFTactics.ilean lib/lean/Init/WFTactics.olean lib/lean/Lake.ilean lib/lean/Lake.olean lib/lean/Lake/Build.ilean lib/lean/Lake/Build.olean lib/lean/Lake/Build/Actions.ilean lib/lean/Lake/Build/Actions.olean lib/lean/Lake/Build/Common.ilean lib/lean/Lake/Build/Common.olean lib/lean/Lake/Build/Context.ilean lib/lean/Lake/Build/Context.olean lib/lean/Lake/Build/Data.ilean lib/lean/Lake/Build/Data.olean lib/lean/Lake/Build/Executable.ilean lib/lean/Lake/Build/Executable.olean lib/lean/Lake/Build/Facets.ilean lib/lean/Lake/Build/Facets.olean lib/lean/Lake/Build/Imports.ilean lib/lean/Lake/Build/Imports.olean lib/lean/Lake/Build/Index.ilean lib/lean/Lake/Build/Index.olean lib/lean/Lake/Build/Info.ilean lib/lean/Lake/Build/Info.olean lib/lean/Lake/Build/Job.ilean lib/lean/Lake/Build/Job.olean lib/lean/Lake/Build/Key.ilean lib/lean/Lake/Build/Key.olean lib/lean/Lake/Build/Library.ilean lib/lean/Lake/Build/Library.olean lib/lean/Lake/Build/Module.ilean lib/lean/Lake/Build/Module.olean lib/lean/Lake/Build/Monad.ilean lib/lean/Lake/Build/Monad.olean lib/lean/Lake/Build/Package.ilean lib/lean/Lake/Build/Package.olean lib/lean/Lake/Build/Store.ilean lib/lean/Lake/Build/Store.olean lib/lean/Lake/Build/Targets.ilean lib/lean/Lake/Build/Targets.olean lib/lean/Lake/Build/Topological.ilean lib/lean/Lake/Build/Topological.olean lib/lean/Lake/Build/Trace.ilean lib/lean/Lake/Build/Trace.olean lib/lean/Lake/CLI.ilean lib/lean/Lake/CLI.olean lib/lean/Lake/CLI/Actions.ilean lib/lean/Lake/CLI/Actions.olean lib/lean/Lake/CLI/Build.ilean lib/lean/Lake/CLI/Build.olean lib/lean/Lake/CLI/Error.ilean lib/lean/Lake/CLI/Error.olean lib/lean/Lake/CLI/Help.ilean lib/lean/Lake/CLI/Help.olean lib/lean/Lake/CLI/Init.ilean lib/lean/Lake/CLI/Init.olean lib/lean/Lake/CLI/Main.ilean lib/lean/Lake/CLI/Main.olean lib/lean/Lake/CLI/Serve.ilean lib/lean/Lake/CLI/Serve.olean lib/lean/Lake/Config.ilean lib/lean/Lake/Config.olean lib/lean/Lake/Config/Context.ilean lib/lean/Lake/Config/Context.olean lib/lean/Lake/Config/Dependency.ilean lib/lean/Lake/Config/Dependency.olean lib/lean/Lake/Config/Env.ilean lib/lean/Lake/Config/Env.olean lib/lean/Lake/Config/ExternLib.ilean lib/lean/Lake/Config/ExternLib.olean lib/lean/Lake/Config/ExternLibConfig.ilean lib/lean/Lake/Config/ExternLibConfig.olean lib/lean/Lake/Config/FacetConfig.ilean lib/lean/Lake/Config/FacetConfig.olean lib/lean/Lake/Config/Glob.ilean lib/lean/Lake/Config/Glob.olean lib/lean/Lake/Config/InstallPath.ilean lib/lean/Lake/Config/InstallPath.olean lib/lean/Lake/Config/LeanConfig.ilean lib/lean/Lake/Config/LeanConfig.olean lib/lean/Lake/Config/LeanExe.ilean lib/lean/Lake/Config/LeanExe.olean lib/lean/Lake/Config/LeanExeConfig.ilean lib/lean/Lake/Config/LeanExeConfig.olean lib/lean/Lake/Config/LeanLib.ilean lib/lean/Lake/Config/LeanLib.olean lib/lean/Lake/Config/LeanLibConfig.ilean lib/lean/Lake/Config/LeanLibConfig.olean lib/lean/Lake/Config/Module.ilean lib/lean/Lake/Config/Module.olean lib/lean/Lake/Config/Monad.ilean lib/lean/Lake/Config/Monad.olean lib/lean/Lake/Config/Opaque.ilean lib/lean/Lake/Config/Opaque.olean lib/lean/Lake/Config/Package.ilean lib/lean/Lake/Config/Package.olean lib/lean/Lake/Config/Script.ilean lib/lean/Lake/Config/Script.olean lib/lean/Lake/Config/TargetConfig.ilean lib/lean/Lake/Config/TargetConfig.olean lib/lean/Lake/Config/Workspace.ilean lib/lean/Lake/Config/Workspace.olean lib/lean/Lake/Config/WorkspaceConfig.ilean lib/lean/Lake/Config/WorkspaceConfig.olean lib/lean/Lake/DSL.ilean lib/lean/Lake/DSL.olean lib/lean/Lake/DSL/Attributes.ilean lib/lean/Lake/DSL/Attributes.olean lib/lean/Lake/DSL/Config.ilean lib/lean/Lake/DSL/Config.olean lib/lean/Lake/DSL/DeclUtil.ilean lib/lean/Lake/DSL/DeclUtil.olean lib/lean/Lake/DSL/Extensions.ilean lib/lean/Lake/DSL/Extensions.olean lib/lean/Lake/DSL/Meta.ilean lib/lean/Lake/DSL/Meta.olean lib/lean/Lake/DSL/Package.ilean lib/lean/Lake/DSL/Package.olean lib/lean/Lake/DSL/Require.ilean lib/lean/Lake/DSL/Require.olean lib/lean/Lake/DSL/Script.ilean lib/lean/Lake/DSL/Script.olean lib/lean/Lake/DSL/Targets.ilean lib/lean/Lake/DSL/Targets.olean lib/lean/Lake/Load.ilean lib/lean/Lake/Load.olean lib/lean/Lake/Load/Config.ilean lib/lean/Lake/Load/Config.olean lib/lean/Lake/Load/Elab.ilean lib/lean/Lake/Load/Elab.olean lib/lean/Lake/Load/Main.ilean lib/lean/Lake/Load/Main.olean lib/lean/Lake/Load/Manifest.ilean lib/lean/Lake/Load/Manifest.olean lib/lean/Lake/Load/Materialize.ilean lib/lean/Lake/Load/Materialize.olean lib/lean/Lake/Load/Package.ilean lib/lean/Lake/Load/Package.olean lib/lean/Lake/Main.ilean lib/lean/Lake/Main.olean lib/lean/Lake/Util/Async.ilean lib/lean/Lake/Util/Async.olean lib/lean/Lake/Util/Binder.ilean lib/lean/Lake/Util/Binder.olean lib/lean/Lake/Util/Casing.ilean lib/lean/Lake/Util/Casing.olean lib/lean/Lake/Util/Cli.ilean lib/lean/Lake/Util/Cli.olean lib/lean/Lake/Util/Compare.ilean lib/lean/Lake/Util/Compare.olean lib/lean/Lake/Util/Cycle.ilean lib/lean/Lake/Util/Cycle.olean lib/lean/Lake/Util/DRBMap.ilean lib/lean/Lake/Util/DRBMap.olean lib/lean/Lake/Util/EStateT.ilean lib/lean/Lake/Util/EStateT.olean lib/lean/Lake/Util/EquipT.ilean lib/lean/Lake/Util/EquipT.olean lib/lean/Lake/Util/Error.ilean lib/lean/Lake/Util/Error.olean lib/lean/Lake/Util/Exit.ilean lib/lean/Lake/Util/Exit.olean lib/lean/Lake/Util/Family.ilean lib/lean/Lake/Util/Family.olean lib/lean/Lake/Util/Git.ilean lib/lean/Lake/Util/Git.olean lib/lean/Lake/Util/Lift.ilean lib/lean/Lake/Util/Lift.olean lib/lean/Lake/Util/List.ilean lib/lean/Lake/Util/List.olean lib/lean/Lake/Util/Log.ilean lib/lean/Lake/Util/Log.olean lib/lean/Lake/Util/MainM.ilean lib/lean/Lake/Util/MainM.olean lib/lean/Lake/Util/Name.ilean lib/lean/Lake/Util/Name.olean lib/lean/Lake/Util/NativeLib.ilean lib/lean/Lake/Util/NativeLib.olean lib/lean/Lake/Util/Opaque.ilean lib/lean/Lake/Util/Opaque.olean lib/lean/Lake/Util/OptionIO.ilean lib/lean/Lake/Util/OptionIO.olean lib/lean/Lake/Util/OrdHashSet.ilean lib/lean/Lake/Util/OrdHashSet.olean lib/lean/Lake/Util/OrderedTagAttribute.ilean lib/lean/Lake/Util/OrderedTagAttribute.olean lib/lean/Lake/Util/Platform.ilean lib/lean/Lake/Util/Platform.olean lib/lean/Lake/Util/Proc.ilean lib/lean/Lake/Util/Proc.olean lib/lean/Lake/Util/RBArray.ilean lib/lean/Lake/Util/RBArray.olean lib/lean/Lake/Util/Store.ilean lib/lean/Lake/Util/Store.olean lib/lean/Lake/Util/StoreInsts.ilean lib/lean/Lake/Util/StoreInsts.olean lib/lean/Lake/Util/Sugar.ilean lib/lean/Lake/Util/Sugar.olean lib/lean/Lake/Util/Task.ilean lib/lean/Lake/Util/Task.olean lib/lean/Lake/Version.ilean lib/lean/Lake/Version.olean lib/lean/Lean.ilean lib/lean/Lean.olean lib/lean/Lean/Attributes.ilean lib/lean/Lean/Attributes.olean lib/lean/Lean/AuxRecursor.ilean lib/lean/Lean/AuxRecursor.olean lib/lean/Lean/Class.ilean lib/lean/Lean/Class.olean lib/lean/Lean/Compiler.ilean lib/lean/Lean/Compiler.olean lib/lean/Lean/Compiler/AtMostOnce.ilean lib/lean/Lean/Compiler/AtMostOnce.olean lib/lean/Lean/Compiler/BorrowedAnnotation.ilean lib/lean/Lean/Compiler/BorrowedAnnotation.olean lib/lean/Lean/Compiler/CSimpAttr.ilean lib/lean/Lean/Compiler/CSimpAttr.olean lib/lean/Lean/Compiler/ClosedTermCache.ilean lib/lean/Lean/Compiler/ClosedTermCache.olean lib/lean/Lean/Compiler/ConstFolding.ilean lib/lean/Lean/Compiler/ConstFolding.olean lib/lean/Lean/Compiler/ExportAttr.ilean lib/lean/Lean/Compiler/ExportAttr.olean lib/lean/Lean/Compiler/ExternAttr.ilean lib/lean/Lean/Compiler/ExternAttr.olean lib/lean/Lean/Compiler/FFI.ilean lib/lean/Lean/Compiler/FFI.olean lib/lean/Lean/Compiler/IR.ilean lib/lean/Lean/Compiler/IR.olean lib/lean/Lean/Compiler/IR/Basic.ilean lib/lean/Lean/Compiler/IR/Basic.olean lib/lean/Lean/Compiler/IR/Borrow.ilean lib/lean/Lean/Compiler/IR/Borrow.olean lib/lean/Lean/Compiler/IR/Boxing.ilean lib/lean/Lean/Compiler/IR/Boxing.olean lib/lean/Lean/Compiler/IR/Checker.ilean lib/lean/Lean/Compiler/IR/Checker.olean lib/lean/Lean/Compiler/IR/CompilerM.ilean lib/lean/Lean/Compiler/IR/CompilerM.olean lib/lean/Lean/Compiler/IR/CtorLayout.ilean lib/lean/Lean/Compiler/IR/CtorLayout.olean lib/lean/Lean/Compiler/IR/ElimDeadBranches.ilean lib/lean/Lean/Compiler/IR/ElimDeadBranches.olean lib/lean/Lean/Compiler/IR/ElimDeadVars.ilean lib/lean/Lean/Compiler/IR/ElimDeadVars.olean lib/lean/Lean/Compiler/IR/EmitC.ilean lib/lean/Lean/Compiler/IR/EmitC.olean lib/lean/Lean/Compiler/IR/EmitLLVM.ilean lib/lean/Lean/Compiler/IR/EmitLLVM.olean lib/lean/Lean/Compiler/IR/EmitUtil.ilean lib/lean/Lean/Compiler/IR/EmitUtil.olean lib/lean/Lean/Compiler/IR/ExpandResetReuse.ilean lib/lean/Lean/Compiler/IR/ExpandResetReuse.olean lib/lean/Lean/Compiler/IR/Format.ilean lib/lean/Lean/Compiler/IR/Format.olean lib/lean/Lean/Compiler/IR/FreeVars.ilean lib/lean/Lean/Compiler/IR/FreeVars.olean lib/lean/Lean/Compiler/IR/LLVMBindings.ilean lib/lean/Lean/Compiler/IR/LLVMBindings.olean lib/lean/Lean/Compiler/IR/LiveVars.ilean lib/lean/Lean/Compiler/IR/LiveVars.olean lib/lean/Lean/Compiler/IR/NormIds.ilean lib/lean/Lean/Compiler/IR/NormIds.olean lib/lean/Lean/Compiler/IR/PushProj.ilean lib/lean/Lean/Compiler/IR/PushProj.olean lib/lean/Lean/Compiler/IR/RC.ilean lib/lean/Lean/Compiler/IR/RC.olean lib/lean/Lean/Compiler/IR/ResetReuse.ilean lib/lean/Lean/Compiler/IR/ResetReuse.olean lib/lean/Lean/Compiler/IR/SimpCase.ilean lib/lean/Lean/Compiler/IR/SimpCase.olean lib/lean/Lean/Compiler/IR/Sorry.ilean lib/lean/Lean/Compiler/IR/Sorry.olean lib/lean/Lean/Compiler/IR/UnboxResult.ilean lib/lean/Lean/Compiler/IR/UnboxResult.olean lib/lean/Lean/Compiler/ImplementedByAttr.ilean lib/lean/Lean/Compiler/ImplementedByAttr.olean lib/lean/Lean/Compiler/InitAttr.ilean lib/lean/Lean/Compiler/InitAttr.olean lib/lean/Lean/Compiler/InlineAttrs.ilean lib/lean/Lean/Compiler/InlineAttrs.olean lib/lean/Lean/Compiler/LCNF.ilean lib/lean/Lean/Compiler/LCNF.olean lib/lean/Lean/Compiler/LCNF/AlphaEqv.ilean lib/lean/Lean/Compiler/LCNF/AlphaEqv.olean lib/lean/Lean/Compiler/LCNF/AuxDeclCache.ilean lib/lean/Lean/Compiler/LCNF/AuxDeclCache.olean lib/lean/Lean/Compiler/LCNF/BaseTypes.ilean lib/lean/Lean/Compiler/LCNF/BaseTypes.olean lib/lean/Lean/Compiler/LCNF/Basic.ilean lib/lean/Lean/Compiler/LCNF/Basic.olean lib/lean/Lean/Compiler/LCNF/Bind.ilean lib/lean/Lean/Compiler/LCNF/Bind.olean lib/lean/Lean/Compiler/LCNF/CSE.ilean lib/lean/Lean/Compiler/LCNF/CSE.olean lib/lean/Lean/Compiler/LCNF/Check.ilean lib/lean/Lean/Compiler/LCNF/Check.olean lib/lean/Lean/Compiler/LCNF/Closure.ilean lib/lean/Lean/Compiler/LCNF/Closure.olean lib/lean/Lean/Compiler/LCNF/CompatibleTypes.ilean lib/lean/Lean/Compiler/LCNF/CompatibleTypes.olean lib/lean/Lean/Compiler/LCNF/CompilerM.ilean lib/lean/Lean/Compiler/LCNF/CompilerM.olean lib/lean/Lean/Compiler/LCNF/ConfigOptions.ilean lib/lean/Lean/Compiler/LCNF/ConfigOptions.olean lib/lean/Lean/Compiler/LCNF/DeclHash.ilean lib/lean/Lean/Compiler/LCNF/DeclHash.olean lib/lean/Lean/Compiler/LCNF/DependsOn.ilean lib/lean/Lean/Compiler/LCNF/DependsOn.olean lib/lean/Lean/Compiler/LCNF/ElimDead.ilean lib/lean/Lean/Compiler/LCNF/ElimDead.olean lib/lean/Lean/Compiler/LCNF/ElimDeadBranches.ilean lib/lean/Lean/Compiler/LCNF/ElimDeadBranches.olean lib/lean/Lean/Compiler/LCNF/FVarUtil.ilean lib/lean/Lean/Compiler/LCNF/FVarUtil.olean lib/lean/Lean/Compiler/LCNF/FixedParams.ilean lib/lean/Lean/Compiler/LCNF/FixedParams.olean lib/lean/Lean/Compiler/LCNF/FloatLetIn.ilean lib/lean/Lean/Compiler/LCNF/FloatLetIn.olean lib/lean/Lean/Compiler/LCNF/ForEachExpr.ilean lib/lean/Lean/Compiler/LCNF/ForEachExpr.olean lib/lean/Lean/Compiler/LCNF/InferType.ilean lib/lean/Lean/Compiler/LCNF/InferType.olean lib/lean/Lean/Compiler/LCNF/Internalize.ilean lib/lean/Lean/Compiler/LCNF/Internalize.olean lib/lean/Lean/Compiler/LCNF/JoinPoints.ilean lib/lean/Lean/Compiler/LCNF/JoinPoints.olean lib/lean/Lean/Compiler/LCNF/LCtx.ilean lib/lean/Lean/Compiler/LCNF/LCtx.olean lib/lean/Lean/Compiler/LCNF/LambdaLifting.ilean lib/lean/Lean/Compiler/LCNF/LambdaLifting.olean lib/lean/Lean/Compiler/LCNF/Level.ilean lib/lean/Lean/Compiler/LCNF/Level.olean lib/lean/Lean/Compiler/LCNF/Main.ilean lib/lean/Lean/Compiler/LCNF/Main.olean lib/lean/Lean/Compiler/LCNF/MonadScope.ilean lib/lean/Lean/Compiler/LCNF/MonadScope.olean lib/lean/Lean/Compiler/LCNF/MonoTypes.ilean lib/lean/Lean/Compiler/LCNF/MonoTypes.olean lib/lean/Lean/Compiler/LCNF/OtherDecl.ilean lib/lean/Lean/Compiler/LCNF/OtherDecl.olean lib/lean/Lean/Compiler/LCNF/PassManager.ilean lib/lean/Lean/Compiler/LCNF/PassManager.olean lib/lean/Lean/Compiler/LCNF/Passes.ilean lib/lean/Lean/Compiler/LCNF/Passes.olean lib/lean/Lean/Compiler/LCNF/PhaseExt.ilean lib/lean/Lean/Compiler/LCNF/PhaseExt.olean lib/lean/Lean/Compiler/LCNF/PrettyPrinter.ilean lib/lean/Lean/Compiler/LCNF/PrettyPrinter.olean lib/lean/Lean/Compiler/LCNF/Probing.ilean lib/lean/Lean/Compiler/LCNF/Probing.olean lib/lean/Lean/Compiler/LCNF/PullFunDecls.ilean lib/lean/Lean/Compiler/LCNF/PullFunDecls.olean lib/lean/Lean/Compiler/LCNF/PullLetDecls.ilean lib/lean/Lean/Compiler/LCNF/PullLetDecls.olean lib/lean/Lean/Compiler/LCNF/ReduceArity.ilean lib/lean/Lean/Compiler/LCNF/ReduceArity.olean lib/lean/Lean/Compiler/LCNF/ReduceJpArity.ilean lib/lean/Lean/Compiler/LCNF/ReduceJpArity.olean lib/lean/Lean/Compiler/LCNF/Renaming.ilean lib/lean/Lean/Compiler/LCNF/Renaming.olean lib/lean/Lean/Compiler/LCNF/ScopeM.ilean lib/lean/Lean/Compiler/LCNF/ScopeM.olean lib/lean/Lean/Compiler/LCNF/Simp.ilean lib/lean/Lean/Compiler/LCNF/Simp.olean lib/lean/Lean/Compiler/LCNF/Simp/Basic.ilean lib/lean/Lean/Compiler/LCNF/Simp/Basic.olean lib/lean/Lean/Compiler/LCNF/Simp/Config.ilean lib/lean/Lean/Compiler/LCNF/Simp/Config.olean lib/lean/Lean/Compiler/LCNF/Simp/ConstantFold.ilean lib/lean/Lean/Compiler/LCNF/Simp/ConstantFold.olean lib/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.ilean lib/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.olean lib/lean/Lean/Compiler/LCNF/Simp/DiscrM.ilean lib/lean/Lean/Compiler/LCNF/Simp/DiscrM.olean lib/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.ilean lib/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.olean lib/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.ilean lib/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.olean lib/lean/Lean/Compiler/LCNF/Simp/InlineProj.ilean lib/lean/Lean/Compiler/LCNF/Simp/InlineProj.olean lib/lean/Lean/Compiler/LCNF/Simp/JpCases.ilean lib/lean/Lean/Compiler/LCNF/Simp/JpCases.olean lib/lean/Lean/Compiler/LCNF/Simp/Main.ilean lib/lean/Lean/Compiler/LCNF/Simp/Main.olean lib/lean/Lean/Compiler/LCNF/Simp/SimpM.ilean lib/lean/Lean/Compiler/LCNF/Simp/SimpM.olean lib/lean/Lean/Compiler/LCNF/Simp/SimpValue.ilean lib/lean/Lean/Compiler/LCNF/Simp/SimpValue.olean lib/lean/Lean/Compiler/LCNF/Simp/Used.ilean lib/lean/Lean/Compiler/LCNF/Simp/Used.olean lib/lean/Lean/Compiler/LCNF/SpecInfo.ilean lib/lean/Lean/Compiler/LCNF/SpecInfo.olean lib/lean/Lean/Compiler/LCNF/Specialize.ilean lib/lean/Lean/Compiler/LCNF/Specialize.olean lib/lean/Lean/Compiler/LCNF/Testing.ilean lib/lean/Lean/Compiler/LCNF/Testing.olean lib/lean/Lean/Compiler/LCNF/ToDecl.ilean lib/lean/Lean/Compiler/LCNF/ToDecl.olean lib/lean/Lean/Compiler/LCNF/ToExpr.ilean lib/lean/Lean/Compiler/LCNF/ToExpr.olean lib/lean/Lean/Compiler/LCNF/ToLCNF.ilean lib/lean/Lean/Compiler/LCNF/ToLCNF.olean lib/lean/Lean/Compiler/LCNF/ToMono.ilean lib/lean/Lean/Compiler/LCNF/ToMono.olean lib/lean/Lean/Compiler/LCNF/Types.ilean lib/lean/Lean/Compiler/LCNF/Types.olean lib/lean/Lean/Compiler/LCNF/Util.ilean lib/lean/Lean/Compiler/LCNF/Util.olean lib/lean/Lean/Compiler/Main.ilean lib/lean/Lean/Compiler/Main.olean lib/lean/Lean/Compiler/NameMangling.ilean lib/lean/Lean/Compiler/NameMangling.olean lib/lean/Lean/Compiler/NeverExtractAttr.ilean lib/lean/Lean/Compiler/NeverExtractAttr.olean lib/lean/Lean/Compiler/NoncomputableAttr.ilean lib/lean/Lean/Compiler/NoncomputableAttr.olean lib/lean/Lean/Compiler/Old.ilean lib/lean/Lean/Compiler/Old.olean lib/lean/Lean/Compiler/Options.ilean lib/lean/Lean/Compiler/Options.olean lib/lean/Lean/Compiler/Specialize.ilean lib/lean/Lean/Compiler/Specialize.olean lib/lean/Lean/CoreM.ilean lib/lean/Lean/CoreM.olean lib/lean/Lean/Data.ilean lib/lean/Lean/Data.olean lib/lean/Lean/Data/Array.ilean lib/lean/Lean/Data/Array.olean lib/lean/Lean/Data/AssocList.ilean lib/lean/Lean/Data/AssocList.olean lib/lean/Lean/Data/Format.ilean lib/lean/Lean/Data/Format.olean lib/lean/Lean/Data/FuzzyMatching.ilean lib/lean/Lean/Data/FuzzyMatching.olean lib/lean/Lean/Data/HashMap.ilean lib/lean/Lean/Data/HashMap.olean lib/lean/Lean/Data/HashSet.ilean lib/lean/Lean/Data/HashSet.olean lib/lean/Lean/Data/Json.ilean lib/lean/Lean/Data/Json.olean lib/lean/Lean/Data/Json/Basic.ilean lib/lean/Lean/Data/Json/Basic.olean lib/lean/Lean/Data/Json/FromToJson.ilean lib/lean/Lean/Data/Json/FromToJson.olean lib/lean/Lean/Data/Json/Parser.ilean lib/lean/Lean/Data/Json/Parser.olean lib/lean/Lean/Data/Json/Printer.ilean lib/lean/Lean/Data/Json/Printer.olean lib/lean/Lean/Data/Json/Stream.ilean lib/lean/Lean/Data/Json/Stream.olean lib/lean/Lean/Data/JsonRpc.ilean lib/lean/Lean/Data/JsonRpc.olean lib/lean/Lean/Data/KVMap.ilean lib/lean/Lean/Data/KVMap.olean lib/lean/Lean/Data/LBool.ilean lib/lean/Lean/Data/LBool.olean lib/lean/Lean/Data/LOption.ilean lib/lean/Lean/Data/LOption.olean lib/lean/Lean/Data/Lsp.ilean lib/lean/Lean/Data/Lsp.olean lib/lean/Lean/Data/Lsp/Basic.ilean lib/lean/Lean/Data/Lsp/Basic.olean lib/lean/Lean/Data/Lsp/Capabilities.ilean lib/lean/Lean/Data/Lsp/Capabilities.olean lib/lean/Lean/Data/Lsp/Client.ilean lib/lean/Lean/Data/Lsp/Client.olean lib/lean/Lean/Data/Lsp/CodeActions.ilean lib/lean/Lean/Data/Lsp/CodeActions.olean lib/lean/Lean/Data/Lsp/Communication.ilean lib/lean/Lean/Data/Lsp/Communication.olean lib/lean/Lean/Data/Lsp/Diagnostics.ilean lib/lean/Lean/Data/Lsp/Diagnostics.olean lib/lean/Lean/Data/Lsp/Extra.ilean lib/lean/Lean/Data/Lsp/Extra.olean lib/lean/Lean/Data/Lsp/InitShutdown.ilean lib/lean/Lean/Data/Lsp/InitShutdown.olean lib/lean/Lean/Data/Lsp/Internal.ilean lib/lean/Lean/Data/Lsp/Internal.olean lib/lean/Lean/Data/Lsp/Ipc.ilean lib/lean/Lean/Data/Lsp/Ipc.olean lib/lean/Lean/Data/Lsp/LanguageFeatures.ilean lib/lean/Lean/Data/Lsp/LanguageFeatures.olean lib/lean/Lean/Data/Lsp/TextSync.ilean lib/lean/Lean/Data/Lsp/TextSync.olean lib/lean/Lean/Data/Lsp/Utf16.ilean lib/lean/Lean/Data/Lsp/Utf16.olean lib/lean/Lean/Data/Lsp/Workspace.ilean lib/lean/Lean/Data/Lsp/Workspace.olean lib/lean/Lean/Data/Name.ilean lib/lean/Lean/Data/Name.olean lib/lean/Lean/Data/NameMap.ilean lib/lean/Lean/Data/NameMap.olean lib/lean/Lean/Data/NameTrie.ilean lib/lean/Lean/Data/NameTrie.olean lib/lean/Lean/Data/OpenDecl.ilean lib/lean/Lean/Data/OpenDecl.olean lib/lean/Lean/Data/Options.ilean lib/lean/Lean/Data/Options.olean lib/lean/Lean/Data/Parsec.ilean lib/lean/Lean/Data/Parsec.olean lib/lean/Lean/Data/PersistentArray.ilean lib/lean/Lean/Data/PersistentArray.olean lib/lean/Lean/Data/PersistentHashMap.ilean lib/lean/Lean/Data/PersistentHashMap.olean lib/lean/Lean/Data/PersistentHashSet.ilean lib/lean/Lean/Data/PersistentHashSet.olean lib/lean/Lean/Data/Position.ilean lib/lean/Lean/Data/Position.olean lib/lean/Lean/Data/PrefixTree.ilean lib/lean/Lean/Data/PrefixTree.olean lib/lean/Lean/Data/RBMap.ilean lib/lean/Lean/Data/RBMap.olean lib/lean/Lean/Data/RBTree.ilean lib/lean/Lean/Data/RBTree.olean lib/lean/Lean/Data/Rat.ilean lib/lean/Lean/Data/Rat.olean lib/lean/Lean/Data/SMap.ilean lib/lean/Lean/Data/SMap.olean lib/lean/Lean/Data/SSet.ilean lib/lean/Lean/Data/SSet.olean lib/lean/Lean/Data/Trie.ilean lib/lean/Lean/Data/Trie.olean lib/lean/Lean/Data/Xml.ilean lib/lean/Lean/Data/Xml.olean lib/lean/Lean/Data/Xml/Basic.ilean lib/lean/Lean/Data/Xml/Basic.olean lib/lean/Lean/Data/Xml/Parser.ilean lib/lean/Lean/Data/Xml/Parser.olean lib/lean/Lean/Declaration.ilean lib/lean/Lean/Declaration.olean lib/lean/Lean/DeclarationRange.ilean lib/lean/Lean/DeclarationRange.olean lib/lean/Lean/DocString.ilean lib/lean/Lean/DocString.olean lib/lean/Lean/Elab.ilean lib/lean/Lean/Elab.olean lib/lean/Lean/Elab/App.ilean lib/lean/Lean/Elab/App.olean lib/lean/Lean/Elab/Arg.ilean lib/lean/Lean/Elab/Arg.olean lib/lean/Lean/Elab/Attributes.ilean lib/lean/Lean/Elab/Attributes.olean lib/lean/Lean/Elab/AutoBound.ilean lib/lean/Lean/Elab/AutoBound.olean lib/lean/Lean/Elab/AuxDef.ilean lib/lean/Lean/Elab/AuxDef.olean lib/lean/Lean/Elab/Binders.ilean lib/lean/Lean/Elab/Binders.olean lib/lean/Lean/Elab/BindersUtil.ilean lib/lean/Lean/Elab/BindersUtil.olean lib/lean/Lean/Elab/BuiltinCommand.ilean lib/lean/Lean/Elab/BuiltinCommand.olean lib/lean/Lean/Elab/BuiltinNotation.ilean lib/lean/Lean/Elab/BuiltinNotation.olean lib/lean/Lean/Elab/BuiltinTerm.ilean lib/lean/Lean/Elab/BuiltinTerm.olean lib/lean/Lean/Elab/Calc.ilean lib/lean/Lean/Elab/Calc.olean lib/lean/Lean/Elab/Command.ilean lib/lean/Lean/Elab/Command.olean lib/lean/Lean/Elab/ComputedFields.ilean lib/lean/Lean/Elab/ComputedFields.olean lib/lean/Lean/Elab/Config.ilean lib/lean/Lean/Elab/Config.olean lib/lean/Lean/Elab/DeclModifiers.ilean lib/lean/Lean/Elab/DeclModifiers.olean lib/lean/Lean/Elab/DeclUtil.ilean lib/lean/Lean/Elab/DeclUtil.olean lib/lean/Lean/Elab/Declaration.ilean lib/lean/Lean/Elab/Declaration.olean lib/lean/Lean/Elab/DeclarationRange.ilean lib/lean/Lean/Elab/DeclarationRange.olean lib/lean/Lean/Elab/DefView.ilean lib/lean/Lean/Elab/DefView.olean lib/lean/Lean/Elab/Deriving.ilean lib/lean/Lean/Elab/Deriving.olean lib/lean/Lean/Elab/Deriving/BEq.ilean lib/lean/Lean/Elab/Deriving/BEq.olean lib/lean/Lean/Elab/Deriving/Basic.ilean lib/lean/Lean/Elab/Deriving/Basic.olean lib/lean/Lean/Elab/Deriving/DecEq.ilean lib/lean/Lean/Elab/Deriving/DecEq.olean lib/lean/Lean/Elab/Deriving/FromToJson.ilean lib/lean/Lean/Elab/Deriving/FromToJson.olean lib/lean/Lean/Elab/Deriving/Hashable.ilean lib/lean/Lean/Elab/Deriving/Hashable.olean lib/lean/Lean/Elab/Deriving/Inhabited.ilean lib/lean/Lean/Elab/Deriving/Inhabited.olean lib/lean/Lean/Elab/Deriving/Nonempty.ilean lib/lean/Lean/Elab/Deriving/Nonempty.olean lib/lean/Lean/Elab/Deriving/Ord.ilean lib/lean/Lean/Elab/Deriving/Ord.olean lib/lean/Lean/Elab/Deriving/Repr.ilean lib/lean/Lean/Elab/Deriving/Repr.olean lib/lean/Lean/Elab/Deriving/SizeOf.ilean lib/lean/Lean/Elab/Deriving/SizeOf.olean lib/lean/Lean/Elab/Deriving/TypeName.ilean lib/lean/Lean/Elab/Deriving/TypeName.olean lib/lean/Lean/Elab/Deriving/Util.ilean lib/lean/Lean/Elab/Deriving/Util.olean lib/lean/Lean/Elab/Do.ilean lib/lean/Lean/Elab/Do.olean lib/lean/Lean/Elab/ElabRules.ilean lib/lean/Lean/Elab/ElabRules.olean lib/lean/Lean/Elab/Eval.ilean lib/lean/Lean/Elab/Eval.olean lib/lean/Lean/Elab/Exception.ilean lib/lean/Lean/Elab/Exception.olean lib/lean/Lean/Elab/Extra.ilean lib/lean/Lean/Elab/Extra.olean lib/lean/Lean/Elab/Frontend.ilean lib/lean/Lean/Elab/Frontend.olean lib/lean/Lean/Elab/GenInjective.ilean lib/lean/Lean/Elab/GenInjective.olean lib/lean/Lean/Elab/Import.ilean lib/lean/Lean/Elab/Import.olean lib/lean/Lean/Elab/Inductive.ilean lib/lean/Lean/Elab/Inductive.olean lib/lean/Lean/Elab/InfoTree.ilean lib/lean/Lean/Elab/InfoTree.olean lib/lean/Lean/Elab/InfoTree/Main.ilean lib/lean/Lean/Elab/InfoTree/Main.olean lib/lean/Lean/Elab/InfoTree/Types.ilean lib/lean/Lean/Elab/InfoTree/Types.olean lib/lean/Lean/Elab/InheritDoc.ilean lib/lean/Lean/Elab/InheritDoc.olean lib/lean/Lean/Elab/LetRec.ilean lib/lean/Lean/Elab/LetRec.olean lib/lean/Lean/Elab/Level.ilean lib/lean/Lean/Elab/Level.olean lib/lean/Lean/Elab/Macro.ilean lib/lean/Lean/Elab/Macro.olean lib/lean/Lean/Elab/MacroArgUtil.ilean lib/lean/Lean/Elab/MacroArgUtil.olean lib/lean/Lean/Elab/MacroRules.ilean lib/lean/Lean/Elab/MacroRules.olean lib/lean/Lean/Elab/Match.ilean lib/lean/Lean/Elab/Match.olean lib/lean/Lean/Elab/MatchAltView.ilean lib/lean/Lean/Elab/MatchAltView.olean lib/lean/Lean/Elab/Mixfix.ilean lib/lean/Lean/Elab/Mixfix.olean lib/lean/Lean/Elab/MutualDef.ilean lib/lean/Lean/Elab/MutualDef.olean lib/lean/Lean/Elab/Notation.ilean lib/lean/Lean/Elab/Notation.olean lib/lean/Lean/Elab/Open.ilean lib/lean/Lean/Elab/Open.olean lib/lean/Lean/Elab/ParseImportsFast.ilean lib/lean/Lean/Elab/ParseImportsFast.olean lib/lean/Lean/Elab/PatternVar.ilean lib/lean/Lean/Elab/PatternVar.olean lib/lean/Lean/Elab/PreDefinition.ilean lib/lean/Lean/Elab/PreDefinition.olean lib/lean/Lean/Elab/PreDefinition/Basic.ilean lib/lean/Lean/Elab/PreDefinition/Basic.olean lib/lean/Lean/Elab/PreDefinition/Eqns.ilean lib/lean/Lean/Elab/PreDefinition/Eqns.olean lib/lean/Lean/Elab/PreDefinition/Main.ilean lib/lean/Lean/Elab/PreDefinition/Main.olean lib/lean/Lean/Elab/PreDefinition/MkInhabitant.ilean lib/lean/Lean/Elab/PreDefinition/MkInhabitant.olean lib/lean/Lean/Elab/PreDefinition/Structural.ilean lib/lean/Lean/Elab/PreDefinition/Structural.olean lib/lean/Lean/Elab/PreDefinition/Structural/BRecOn.ilean lib/lean/Lean/Elab/PreDefinition/Structural/BRecOn.olean lib/lean/Lean/Elab/PreDefinition/Structural/Basic.ilean lib/lean/Lean/Elab/PreDefinition/Structural/Basic.olean lib/lean/Lean/Elab/PreDefinition/Structural/Eqns.ilean lib/lean/Lean/Elab/PreDefinition/Structural/Eqns.olean lib/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.ilean lib/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.olean lib/lean/Lean/Elab/PreDefinition/Structural/IndPred.ilean lib/lean/Lean/Elab/PreDefinition/Structural/IndPred.olean lib/lean/Lean/Elab/PreDefinition/Structural/Main.ilean lib/lean/Lean/Elab/PreDefinition/Structural/Main.olean lib/lean/Lean/Elab/PreDefinition/Structural/Preprocess.ilean lib/lean/Lean/Elab/PreDefinition/Structural/Preprocess.olean lib/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.ilean lib/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.olean lib/lean/Lean/Elab/PreDefinition/WF.ilean lib/lean/Lean/Elab/PreDefinition/WF.olean lib/lean/Lean/Elab/PreDefinition/WF/Eqns.ilean lib/lean/Lean/Elab/PreDefinition/WF/Eqns.olean lib/lean/Lean/Elab/PreDefinition/WF/Fix.ilean lib/lean/Lean/Elab/PreDefinition/WF/Fix.olean lib/lean/Lean/Elab/PreDefinition/WF/GuessLex.ilean lib/lean/Lean/Elab/PreDefinition/WF/GuessLex.olean lib/lean/Lean/Elab/PreDefinition/WF/Ite.ilean lib/lean/Lean/Elab/PreDefinition/WF/Ite.olean lib/lean/Lean/Elab/PreDefinition/WF/Main.ilean lib/lean/Lean/Elab/PreDefinition/WF/Main.olean lib/lean/Lean/Elab/PreDefinition/WF/PackDomain.ilean lib/lean/Lean/Elab/PreDefinition/WF/PackDomain.olean lib/lean/Lean/Elab/PreDefinition/WF/PackMutual.ilean lib/lean/Lean/Elab/PreDefinition/WF/PackMutual.olean lib/lean/Lean/Elab/PreDefinition/WF/Preprocess.ilean lib/lean/Lean/Elab/PreDefinition/WF/Preprocess.olean lib/lean/Lean/Elab/PreDefinition/WF/Rel.ilean lib/lean/Lean/Elab/PreDefinition/WF/Rel.olean lib/lean/Lean/Elab/PreDefinition/WF/TerminationHint.ilean lib/lean/Lean/Elab/PreDefinition/WF/TerminationHint.olean lib/lean/Lean/Elab/Print.ilean lib/lean/Lean/Elab/Print.olean lib/lean/Lean/Elab/Quotation.ilean lib/lean/Lean/Elab/Quotation.olean lib/lean/Lean/Elab/Quotation/Precheck.ilean lib/lean/Lean/Elab/Quotation/Precheck.olean lib/lean/Lean/Elab/Quotation/Util.ilean lib/lean/Lean/Elab/Quotation/Util.olean lib/lean/Lean/Elab/RecAppSyntax.ilean lib/lean/Lean/Elab/RecAppSyntax.olean lib/lean/Lean/Elab/SetOption.ilean lib/lean/Lean/Elab/SetOption.olean lib/lean/Lean/Elab/StructInst.ilean lib/lean/Lean/Elab/StructInst.olean lib/lean/Lean/Elab/Structure.ilean lib/lean/Lean/Elab/Structure.olean lib/lean/Lean/Elab/Syntax.ilean lib/lean/Lean/Elab/Syntax.olean lib/lean/Lean/Elab/SyntheticMVars.ilean lib/lean/Lean/Elab/SyntheticMVars.olean lib/lean/Lean/Elab/Tactic.ilean lib/lean/Lean/Elab/Tactic.olean lib/lean/Lean/Elab/Tactic/Basic.ilean lib/lean/Lean/Elab/Tactic/Basic.olean lib/lean/Lean/Elab/Tactic/BuiltinTactic.ilean lib/lean/Lean/Elab/Tactic/BuiltinTactic.olean lib/lean/Lean/Elab/Tactic/Cache.ilean lib/lean/Lean/Elab/Tactic/Cache.olean lib/lean/Lean/Elab/Tactic/Calc.ilean lib/lean/Lean/Elab/Tactic/Calc.olean lib/lean/Lean/Elab/Tactic/Config.ilean lib/lean/Lean/Elab/Tactic/Config.olean lib/lean/Lean/Elab/Tactic/Congr.ilean lib/lean/Lean/Elab/Tactic/Congr.olean lib/lean/Lean/Elab/Tactic/Conv.ilean lib/lean/Lean/Elab/Tactic/Conv.olean lib/lean/Lean/Elab/Tactic/Conv/Basic.ilean lib/lean/Lean/Elab/Tactic/Conv/Basic.olean lib/lean/Lean/Elab/Tactic/Conv/Change.ilean lib/lean/Lean/Elab/Tactic/Conv/Change.olean lib/lean/Lean/Elab/Tactic/Conv/Congr.ilean lib/lean/Lean/Elab/Tactic/Conv/Congr.olean lib/lean/Lean/Elab/Tactic/Conv/Delta.ilean lib/lean/Lean/Elab/Tactic/Conv/Delta.olean lib/lean/Lean/Elab/Tactic/Conv/Pattern.ilean lib/lean/Lean/Elab/Tactic/Conv/Pattern.olean lib/lean/Lean/Elab/Tactic/Conv/Rewrite.ilean lib/lean/Lean/Elab/Tactic/Conv/Rewrite.olean lib/lean/Lean/Elab/Tactic/Conv/Simp.ilean lib/lean/Lean/Elab/Tactic/Conv/Simp.olean lib/lean/Lean/Elab/Tactic/Conv/Unfold.ilean lib/lean/Lean/Elab/Tactic/Conv/Unfold.olean lib/lean/Lean/Elab/Tactic/Delta.ilean lib/lean/Lean/Elab/Tactic/Delta.olean lib/lean/Lean/Elab/Tactic/ElabTerm.ilean lib/lean/Lean/Elab/Tactic/ElabTerm.olean lib/lean/Lean/Elab/Tactic/Generalize.ilean lib/lean/Lean/Elab/Tactic/Generalize.olean lib/lean/Lean/Elab/Tactic/Induction.ilean lib/lean/Lean/Elab/Tactic/Induction.olean lib/lean/Lean/Elab/Tactic/Injection.ilean lib/lean/Lean/Elab/Tactic/Injection.olean lib/lean/Lean/Elab/Tactic/Location.ilean lib/lean/Lean/Elab/Tactic/Location.olean lib/lean/Lean/Elab/Tactic/Match.ilean lib/lean/Lean/Elab/Tactic/Match.olean lib/lean/Lean/Elab/Tactic/Meta.ilean lib/lean/Lean/Elab/Tactic/Meta.olean lib/lean/Lean/Elab/Tactic/Rewrite.ilean lib/lean/Lean/Elab/Tactic/Rewrite.olean lib/lean/Lean/Elab/Tactic/Simp.ilean lib/lean/Lean/Elab/Tactic/Simp.olean lib/lean/Lean/Elab/Tactic/Split.ilean lib/lean/Lean/Elab/Tactic/Split.olean lib/lean/Lean/Elab/Tactic/Unfold.ilean lib/lean/Lean/Elab/Tactic/Unfold.olean lib/lean/Lean/Elab/Term.ilean lib/lean/Lean/Elab/Term.olean lib/lean/Lean/Elab/Util.ilean lib/lean/Lean/Elab/Util.olean lib/lean/Lean/Environment.ilean lib/lean/Lean/Environment.olean lib/lean/Lean/Eval.ilean lib/lean/Lean/Eval.olean lib/lean/Lean/Exception.ilean lib/lean/Lean/Exception.olean lib/lean/Lean/Expr.ilean lib/lean/Lean/Expr.olean lib/lean/Lean/HeadIndex.ilean lib/lean/Lean/HeadIndex.olean lib/lean/Lean/Hygiene.ilean lib/lean/Lean/Hygiene.olean lib/lean/Lean/ImportingFlag.ilean lib/lean/Lean/ImportingFlag.olean lib/lean/Lean/InternalExceptionId.ilean lib/lean/Lean/InternalExceptionId.olean lib/lean/Lean/KeyedDeclsAttribute.ilean lib/lean/Lean/KeyedDeclsAttribute.olean lib/lean/Lean/LazyInitExtension.ilean lib/lean/Lean/LazyInitExtension.olean lib/lean/Lean/Level.ilean lib/lean/Lean/Level.olean lib/lean/Lean/Linter.ilean lib/lean/Lean/Linter.olean lib/lean/Lean/Linter/Basic.ilean lib/lean/Lean/Linter/Basic.olean lib/lean/Lean/Linter/Builtin.ilean lib/lean/Lean/Linter/Builtin.olean lib/lean/Lean/Linter/Deprecated.ilean lib/lean/Lean/Linter/Deprecated.olean lib/lean/Lean/Linter/MissingDocs.ilean lib/lean/Lean/Linter/MissingDocs.olean lib/lean/Lean/Linter/UnusedVariables.ilean lib/lean/Lean/Linter/UnusedVariables.olean lib/lean/Lean/Linter/Util.ilean lib/lean/Lean/Linter/Util.olean lib/lean/Lean/LoadDynlib.ilean lib/lean/Lean/LoadDynlib.olean lib/lean/Lean/LocalContext.ilean lib/lean/Lean/LocalContext.olean lib/lean/Lean/Log.ilean lib/lean/Lean/Log.olean lib/lean/Lean/Message.ilean lib/lean/Lean/Message.olean lib/lean/Lean/Meta.ilean lib/lean/Lean/Meta.olean lib/lean/Lean/Meta/ACLt.ilean lib/lean/Lean/Meta/ACLt.olean lib/lean/Lean/Meta/AbstractMVars.ilean lib/lean/Lean/Meta/AbstractMVars.olean lib/lean/Lean/Meta/AbstractNestedProofs.ilean lib/lean/Lean/Meta/AbstractNestedProofs.olean lib/lean/Lean/Meta/AppBuilder.ilean lib/lean/Lean/Meta/AppBuilder.olean lib/lean/Lean/Meta/Basic.ilean lib/lean/Lean/Meta/Basic.olean lib/lean/Lean/Meta/CasesOn.ilean lib/lean/Lean/Meta/CasesOn.olean lib/lean/Lean/Meta/Check.ilean lib/lean/Lean/Meta/Check.olean lib/lean/Lean/Meta/Closure.ilean lib/lean/Lean/Meta/Closure.olean lib/lean/Lean/Meta/Coe.ilean lib/lean/Lean/Meta/Coe.olean lib/lean/Lean/Meta/CollectFVars.ilean lib/lean/Lean/Meta/CollectFVars.olean lib/lean/Lean/Meta/CollectMVars.ilean lib/lean/Lean/Meta/CollectMVars.olean lib/lean/Lean/Meta/CongrTheorems.ilean lib/lean/Lean/Meta/CongrTheorems.olean lib/lean/Lean/Meta/Constructions.ilean lib/lean/Lean/Meta/Constructions.olean lib/lean/Lean/Meta/DecLevel.ilean lib/lean/Lean/Meta/DecLevel.olean lib/lean/Lean/Meta/DiscrTree.ilean lib/lean/Lean/Meta/DiscrTree.olean lib/lean/Lean/Meta/DiscrTreeTypes.ilean lib/lean/Lean/Meta/DiscrTreeTypes.olean lib/lean/Lean/Meta/Eqns.ilean lib/lean/Lean/Meta/Eqns.olean lib/lean/Lean/Meta/Eval.ilean lib/lean/Lean/Meta/Eval.olean lib/lean/Lean/Meta/ExprDefEq.ilean lib/lean/Lean/Meta/ExprDefEq.olean lib/lean/Lean/Meta/ExprLens.ilean lib/lean/Lean/Meta/ExprLens.olean lib/lean/Lean/Meta/ExprTraverse.ilean lib/lean/Lean/Meta/ExprTraverse.olean lib/lean/Lean/Meta/ForEachExpr.ilean lib/lean/Lean/Meta/ForEachExpr.olean lib/lean/Lean/Meta/FunInfo.ilean lib/lean/Lean/Meta/FunInfo.olean lib/lean/Lean/Meta/GeneralizeTelescope.ilean lib/lean/Lean/Meta/GeneralizeTelescope.olean lib/lean/Lean/Meta/GeneralizeVars.ilean lib/lean/Lean/Meta/GeneralizeVars.olean lib/lean/Lean/Meta/GetUnfoldableConst.ilean lib/lean/Lean/Meta/GetUnfoldableConst.olean lib/lean/Lean/Meta/GlobalInstances.ilean lib/lean/Lean/Meta/GlobalInstances.olean lib/lean/Lean/Meta/IndPredBelow.ilean lib/lean/Lean/Meta/IndPredBelow.olean lib/lean/Lean/Meta/Inductive.ilean lib/lean/Lean/Meta/Inductive.olean lib/lean/Lean/Meta/InferType.ilean lib/lean/Lean/Meta/InferType.olean lib/lean/Lean/Meta/Injective.ilean lib/lean/Lean/Meta/Injective.olean lib/lean/Lean/Meta/Instances.ilean lib/lean/Lean/Meta/Instances.olean lib/lean/Lean/Meta/KAbstract.ilean lib/lean/Lean/Meta/KAbstract.olean lib/lean/Lean/Meta/KExprMap.ilean lib/lean/Lean/Meta/KExprMap.olean lib/lean/Lean/Meta/LevelDefEq.ilean lib/lean/Lean/Meta/LevelDefEq.olean lib/lean/Lean/Meta/Match.ilean lib/lean/Lean/Meta/Match.olean lib/lean/Lean/Meta/Match/Basic.ilean lib/lean/Lean/Meta/Match/Basic.olean lib/lean/Lean/Meta/Match/CaseArraySizes.ilean lib/lean/Lean/Meta/Match/CaseArraySizes.olean lib/lean/Lean/Meta/Match/CaseValues.ilean lib/lean/Lean/Meta/Match/CaseValues.olean lib/lean/Lean/Meta/Match/MVarRenaming.ilean lib/lean/Lean/Meta/Match/MVarRenaming.olean lib/lean/Lean/Meta/Match/Match.ilean lib/lean/Lean/Meta/Match/Match.olean lib/lean/Lean/Meta/Match/MatchEqs.ilean lib/lean/Lean/Meta/Match/MatchEqs.olean lib/lean/Lean/Meta/Match/MatchEqsExt.ilean lib/lean/Lean/Meta/Match/MatchEqsExt.olean lib/lean/Lean/Meta/Match/MatchPatternAttr.ilean lib/lean/Lean/Meta/Match/MatchPatternAttr.olean lib/lean/Lean/Meta/Match/MatcherInfo.ilean lib/lean/Lean/Meta/Match/MatcherInfo.olean lib/lean/Lean/Meta/Match/Value.ilean lib/lean/Lean/Meta/Match/Value.olean lib/lean/Lean/Meta/MatchUtil.ilean lib/lean/Lean/Meta/MatchUtil.olean lib/lean/Lean/Meta/Offset.ilean lib/lean/Lean/Meta/Offset.olean lib/lean/Lean/Meta/PPGoal.ilean lib/lean/Lean/Meta/PPGoal.olean lib/lean/Lean/Meta/RecursorInfo.ilean lib/lean/Lean/Meta/RecursorInfo.olean lib/lean/Lean/Meta/Reduce.ilean lib/lean/Lean/Meta/Reduce.olean lib/lean/Lean/Meta/ReduceEval.ilean lib/lean/Lean/Meta/ReduceEval.olean lib/lean/Lean/Meta/SizeOf.ilean lib/lean/Lean/Meta/SizeOf.olean lib/lean/Lean/Meta/Structure.ilean lib/lean/Lean/Meta/Structure.olean lib/lean/Lean/Meta/SynthInstance.ilean lib/lean/Lean/Meta/SynthInstance.olean lib/lean/Lean/Meta/Tactic.ilean lib/lean/Lean/Meta/Tactic.olean lib/lean/Lean/Meta/Tactic/AC.ilean lib/lean/Lean/Meta/Tactic/AC.olean lib/lean/Lean/Meta/Tactic/AC/Main.ilean lib/lean/Lean/Meta/Tactic/AC/Main.olean lib/lean/Lean/Meta/Tactic/Acyclic.ilean lib/lean/Lean/Meta/Tactic/Acyclic.olean lib/lean/Lean/Meta/Tactic/Apply.ilean lib/lean/Lean/Meta/Tactic/Apply.olean lib/lean/Lean/Meta/Tactic/Assert.ilean lib/lean/Lean/Meta/Tactic/Assert.olean lib/lean/Lean/Meta/Tactic/Assumption.ilean lib/lean/Lean/Meta/Tactic/Assumption.olean lib/lean/Lean/Meta/Tactic/AuxLemma.ilean lib/lean/Lean/Meta/Tactic/AuxLemma.olean lib/lean/Lean/Meta/Tactic/Cases.ilean lib/lean/Lean/Meta/Tactic/Cases.olean lib/lean/Lean/Meta/Tactic/Cleanup.ilean lib/lean/Lean/Meta/Tactic/Cleanup.olean lib/lean/Lean/Meta/Tactic/Clear.ilean lib/lean/Lean/Meta/Tactic/Clear.olean lib/lean/Lean/Meta/Tactic/Congr.ilean lib/lean/Lean/Meta/Tactic/Congr.olean lib/lean/Lean/Meta/Tactic/Constructor.ilean lib/lean/Lean/Meta/Tactic/Constructor.olean lib/lean/Lean/Meta/Tactic/Contradiction.ilean lib/lean/Lean/Meta/Tactic/Contradiction.olean lib/lean/Lean/Meta/Tactic/Delta.ilean lib/lean/Lean/Meta/Tactic/Delta.olean lib/lean/Lean/Meta/Tactic/ElimInfo.ilean lib/lean/Lean/Meta/Tactic/ElimInfo.olean lib/lean/Lean/Meta/Tactic/FVarSubst.ilean lib/lean/Lean/Meta/Tactic/FVarSubst.olean lib/lean/Lean/Meta/Tactic/Generalize.ilean lib/lean/Lean/Meta/Tactic/Generalize.olean lib/lean/Lean/Meta/Tactic/Induction.ilean lib/lean/Lean/Meta/Tactic/Induction.olean lib/lean/Lean/Meta/Tactic/Injection.ilean lib/lean/Lean/Meta/Tactic/Injection.olean lib/lean/Lean/Meta/Tactic/Intro.ilean lib/lean/Lean/Meta/Tactic/Intro.olean lib/lean/Lean/Meta/Tactic/LinearArith.ilean lib/lean/Lean/Meta/Tactic/LinearArith.olean lib/lean/Lean/Meta/Tactic/LinearArith/Basic.ilean lib/lean/Lean/Meta/Tactic/LinearArith/Basic.olean lib/lean/Lean/Meta/Tactic/LinearArith/Main.ilean lib/lean/Lean/Meta/Tactic/LinearArith/Main.olean lib/lean/Lean/Meta/Tactic/LinearArith/Nat.ilean lib/lean/Lean/Meta/Tactic/LinearArith/Nat.olean lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.ilean lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.olean lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.ilean lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.olean lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.ilean lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.olean lib/lean/Lean/Meta/Tactic/LinearArith/Simp.ilean lib/lean/Lean/Meta/Tactic/LinearArith/Simp.olean lib/lean/Lean/Meta/Tactic/LinearArith/Solver.ilean lib/lean/Lean/Meta/Tactic/LinearArith/Solver.olean lib/lean/Lean/Meta/Tactic/Refl.ilean lib/lean/Lean/Meta/Tactic/Refl.olean lib/lean/Lean/Meta/Tactic/Rename.ilean lib/lean/Lean/Meta/Tactic/Rename.olean lib/lean/Lean/Meta/Tactic/Replace.ilean lib/lean/Lean/Meta/Tactic/Replace.olean lib/lean/Lean/Meta/Tactic/Revert.ilean lib/lean/Lean/Meta/Tactic/Revert.olean lib/lean/Lean/Meta/Tactic/Rewrite.ilean lib/lean/Lean/Meta/Tactic/Rewrite.olean lib/lean/Lean/Meta/Tactic/Simp.ilean lib/lean/Lean/Meta/Tactic/Simp.olean lib/lean/Lean/Meta/Tactic/Simp/Main.ilean lib/lean/Lean/Meta/Tactic/Simp/Main.olean lib/lean/Lean/Meta/Tactic/Simp/Rewrite.ilean lib/lean/Lean/Meta/Tactic/Simp/Rewrite.olean lib/lean/Lean/Meta/Tactic/Simp/SimpAll.ilean lib/lean/Lean/Meta/Tactic/Simp/SimpAll.olean lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.ilean lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.olean lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.ilean lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.olean lib/lean/Lean/Meta/Tactic/Simp/Types.ilean lib/lean/Lean/Meta/Tactic/Simp/Types.olean lib/lean/Lean/Meta/Tactic/Split.ilean lib/lean/Lean/Meta/Tactic/Split.olean lib/lean/Lean/Meta/Tactic/SplitIf.ilean lib/lean/Lean/Meta/Tactic/SplitIf.olean lib/lean/Lean/Meta/Tactic/Subst.ilean lib/lean/Lean/Meta/Tactic/Subst.olean lib/lean/Lean/Meta/Tactic/Unfold.ilean lib/lean/Lean/Meta/Tactic/Unfold.olean lib/lean/Lean/Meta/Tactic/UnifyEq.ilean lib/lean/Lean/Meta/Tactic/UnifyEq.olean lib/lean/Lean/Meta/Tactic/Util.ilean lib/lean/Lean/Meta/Tactic/Util.olean lib/lean/Lean/Meta/Transform.ilean lib/lean/Lean/Meta/Transform.olean lib/lean/Lean/Meta/TransparencyMode.ilean lib/lean/Lean/Meta/TransparencyMode.olean lib/lean/Lean/Meta/UnificationHint.ilean lib/lean/Lean/Meta/UnificationHint.olean lib/lean/Lean/Meta/WHNF.ilean lib/lean/Lean/Meta/WHNF.olean lib/lean/Lean/MetavarContext.ilean lib/lean/Lean/MetavarContext.olean lib/lean/Lean/Modifiers.ilean lib/lean/Lean/Modifiers.olean lib/lean/Lean/MonadEnv.ilean lib/lean/Lean/MonadEnv.olean lib/lean/Lean/Parser.ilean lib/lean/Lean/Parser.olean lib/lean/Lean/Parser/Attr.ilean lib/lean/Lean/Parser/Attr.olean lib/lean/Lean/Parser/Basic.ilean lib/lean/Lean/Parser/Basic.olean lib/lean/Lean/Parser/Command.ilean lib/lean/Lean/Parser/Command.olean lib/lean/Lean/Parser/Do.ilean lib/lean/Lean/Parser/Do.olean lib/lean/Lean/Parser/Extension.ilean lib/lean/Lean/Parser/Extension.olean lib/lean/Lean/Parser/Extra.ilean lib/lean/Lean/Parser/Extra.olean lib/lean/Lean/Parser/Level.ilean lib/lean/Lean/Parser/Level.olean lib/lean/Lean/Parser/Module.ilean lib/lean/Lean/Parser/Module.olean lib/lean/Lean/Parser/StrInterpolation.ilean lib/lean/Lean/Parser/StrInterpolation.olean lib/lean/Lean/Parser/Syntax.ilean lib/lean/Lean/Parser/Syntax.olean lib/lean/Lean/Parser/Tactic.ilean lib/lean/Lean/Parser/Tactic.olean lib/lean/Lean/Parser/Term.ilean lib/lean/Lean/Parser/Term.olean lib/lean/Lean/Parser/Types.ilean lib/lean/Lean/Parser/Types.olean lib/lean/Lean/ParserCompiler.ilean lib/lean/Lean/ParserCompiler.olean lib/lean/Lean/ParserCompiler/Attribute.ilean lib/lean/Lean/ParserCompiler/Attribute.olean lib/lean/Lean/PrettyPrinter.ilean lib/lean/Lean/PrettyPrinter.olean lib/lean/Lean/PrettyPrinter/Basic.ilean lib/lean/Lean/PrettyPrinter/Basic.olean lib/lean/Lean/PrettyPrinter/Delaborator.ilean lib/lean/Lean/PrettyPrinter/Delaborator.olean lib/lean/Lean/PrettyPrinter/Delaborator/Basic.ilean lib/lean/Lean/PrettyPrinter/Delaborator/Basic.olean lib/lean/Lean/PrettyPrinter/Delaborator/Builtins.ilean lib/lean/Lean/PrettyPrinter/Delaborator/Builtins.olean lib/lean/Lean/PrettyPrinter/Delaborator/Options.ilean lib/lean/Lean/PrettyPrinter/Delaborator/Options.olean lib/lean/Lean/PrettyPrinter/Delaborator/SubExpr.ilean lib/lean/Lean/PrettyPrinter/Delaborator/SubExpr.olean lib/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.ilean lib/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.olean lib/lean/Lean/PrettyPrinter/Formatter.ilean lib/lean/Lean/PrettyPrinter/Formatter.olean lib/lean/Lean/PrettyPrinter/Parenthesizer.ilean lib/lean/Lean/PrettyPrinter/Parenthesizer.olean lib/lean/Lean/ProjFns.ilean lib/lean/Lean/ProjFns.olean lib/lean/Lean/ReducibilityAttrs.ilean lib/lean/Lean/ReducibilityAttrs.olean lib/lean/Lean/Replay.ilean lib/lean/Lean/Replay.olean lib/lean/Lean/ResolveName.ilean lib/lean/Lean/ResolveName.olean lib/lean/Lean/Runtime.ilean lib/lean/Lean/Runtime.olean lib/lean/Lean/ScopedEnvExtension.ilean lib/lean/Lean/ScopedEnvExtension.olean lib/lean/Lean/Server.ilean lib/lean/Lean/Server.olean lib/lean/Lean/Server/AsyncList.ilean lib/lean/Lean/Server/AsyncList.olean lib/lean/Lean/Server/CodeActions.ilean lib/lean/Lean/Server/CodeActions.olean lib/lean/Lean/Server/Completion.ilean lib/lean/Lean/Server/Completion.olean lib/lean/Lean/Server/FileSource.ilean lib/lean/Lean/Server/FileSource.olean lib/lean/Lean/Server/FileWorker.ilean lib/lean/Lean/Server/FileWorker.olean lib/lean/Lean/Server/FileWorker/RequestHandling.ilean lib/lean/Lean/Server/FileWorker/RequestHandling.olean lib/lean/Lean/Server/FileWorker/SetupFile.ilean lib/lean/Lean/Server/FileWorker/SetupFile.olean lib/lean/Lean/Server/FileWorker/Utils.ilean lib/lean/Lean/Server/FileWorker/Utils.olean lib/lean/Lean/Server/FileWorker/WidgetRequests.ilean lib/lean/Lean/Server/FileWorker/WidgetRequests.olean lib/lean/Lean/Server/GoTo.ilean lib/lean/Lean/Server/GoTo.olean lib/lean/Lean/Server/ImportCompletion.ilean lib/lean/Lean/Server/ImportCompletion.olean lib/lean/Lean/Server/InfoUtils.ilean lib/lean/Lean/Server/InfoUtils.olean lib/lean/Lean/Server/References.ilean lib/lean/Lean/Server/References.olean lib/lean/Lean/Server/Requests.ilean lib/lean/Lean/Server/Requests.olean lib/lean/Lean/Server/Rpc.ilean lib/lean/Lean/Server/Rpc.olean lib/lean/Lean/Server/Rpc/Basic.ilean lib/lean/Lean/Server/Rpc/Basic.olean lib/lean/Lean/Server/Rpc/Deriving.ilean lib/lean/Lean/Server/Rpc/Deriving.olean lib/lean/Lean/Server/Rpc/RequestHandling.ilean lib/lean/Lean/Server/Rpc/RequestHandling.olean lib/lean/Lean/Server/Snapshots.ilean lib/lean/Lean/Server/Snapshots.olean lib/lean/Lean/Server/Utils.ilean lib/lean/Lean/Server/Utils.olean lib/lean/Lean/Server/Watchdog.ilean lib/lean/Lean/Server/Watchdog.olean lib/lean/Lean/Structure.ilean lib/lean/Lean/Structure.olean lib/lean/Lean/SubExpr.ilean lib/lean/Lean/SubExpr.olean lib/lean/Lean/Syntax.ilean lib/lean/Lean/Syntax.olean lib/lean/Lean/ToExpr.ilean lib/lean/Lean/ToExpr.olean lib/lean/Lean/Util.ilean lib/lean/Lean/Util.olean lib/lean/Lean/Util/CollectFVars.ilean lib/lean/Lean/Util/CollectFVars.olean lib/lean/Lean/Util/CollectLevelParams.ilean lib/lean/Lean/Util/CollectLevelParams.olean lib/lean/Lean/Util/CollectMVars.ilean lib/lean/Lean/Util/CollectMVars.olean lib/lean/Lean/Util/FileSetupInfo.ilean lib/lean/Lean/Util/FileSetupInfo.olean lib/lean/Lean/Util/FindExpr.ilean lib/lean/Lean/Util/FindExpr.olean lib/lean/Lean/Util/FindLevelMVar.ilean lib/lean/Lean/Util/FindLevelMVar.olean lib/lean/Lean/Util/FindMVar.ilean lib/lean/Lean/Util/FindMVar.olean lib/lean/Lean/Util/FoldConsts.ilean lib/lean/Lean/Util/FoldConsts.olean lib/lean/Lean/Util/ForEachExpr.ilean lib/lean/Lean/Util/ForEachExpr.olean lib/lean/Lean/Util/ForEachExprWhere.ilean lib/lean/Lean/Util/ForEachExprWhere.olean lib/lean/Lean/Util/HasConstCache.ilean lib/lean/Lean/Util/HasConstCache.olean lib/lean/Lean/Util/InstantiateLevelParams.ilean lib/lean/Lean/Util/InstantiateLevelParams.olean lib/lean/Lean/Util/LakePath.ilean lib/lean/Lean/Util/LakePath.olean lib/lean/Lean/Util/LeanOptions.ilean lib/lean/Lean/Util/LeanOptions.olean lib/lean/Lean/Util/MonadBacktrack.ilean lib/lean/Lean/Util/MonadBacktrack.olean lib/lean/Lean/Util/MonadCache.ilean lib/lean/Lean/Util/MonadCache.olean lib/lean/Lean/Util/OccursCheck.ilean lib/lean/Lean/Util/OccursCheck.olean lib/lean/Lean/Util/PPExt.ilean lib/lean/Lean/Util/PPExt.olean lib/lean/Lean/Util/Path.ilean lib/lean/Lean/Util/Path.olean lib/lean/Lean/Util/Paths.ilean lib/lean/Lean/Util/Paths.olean lib/lean/Lean/Util/Profile.ilean lib/lean/Lean/Util/Profile.olean lib/lean/Lean/Util/PtrSet.ilean lib/lean/Lean/Util/PtrSet.olean lib/lean/Lean/Util/RecDepth.ilean lib/lean/Lean/Util/RecDepth.olean lib/lean/Lean/Util/Recognizers.ilean lib/lean/Lean/Util/Recognizers.olean lib/lean/Lean/Util/ReplaceExpr.ilean lib/lean/Lean/Util/ReplaceExpr.olean lib/lean/Lean/Util/ReplaceLevel.ilean lib/lean/Lean/Util/ReplaceLevel.olean lib/lean/Lean/Util/SCC.ilean lib/lean/Lean/Util/SCC.olean lib/lean/Lean/Util/ShareCommon.ilean lib/lean/Lean/Util/ShareCommon.olean lib/lean/Lean/Util/Sorry.ilean lib/lean/Lean/Util/Sorry.olean lib/lean/Lean/Util/TestExtern.ilean lib/lean/Lean/Util/TestExtern.olean lib/lean/Lean/Util/Trace.ilean lib/lean/Lean/Util/Trace.olean lib/lean/Lean/Widget.ilean lib/lean/Lean/Widget.olean lib/lean/Lean/Widget/Basic.ilean lib/lean/Lean/Widget/Basic.olean lib/lean/Lean/Widget/Diff.ilean lib/lean/Lean/Widget/Diff.olean lib/lean/Lean/Widget/InteractiveCode.ilean lib/lean/Lean/Widget/InteractiveCode.olean lib/lean/Lean/Widget/InteractiveDiagnostic.ilean lib/lean/Lean/Widget/InteractiveDiagnostic.olean lib/lean/Lean/Widget/InteractiveGoal.ilean lib/lean/Lean/Widget/InteractiveGoal.olean lib/lean/Lean/Widget/TaggedText.ilean lib/lean/Lean/Widget/TaggedText.olean 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 +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 lib/lean/libInit.a lib/lean/libLake.a lib/lean/libLean.a lib/lean/libleancpp.a lib/lean/libleanrt.a lib/lean/libleanshared.so share/lean/lean.mk %%DATADIR%%/src/lean/Init.lean %%DATADIR%%/src/lean/Init/Classical.lean %%DATADIR%%/src/lean/Init/Coe.lean %%DATADIR%%/src/lean/Init/Control.lean %%DATADIR%%/src/lean/Init/Control/Basic.lean %%DATADIR%%/src/lean/Init/Control/EState.lean %%DATADIR%%/src/lean/Init/Control/Except.lean %%DATADIR%%/src/lean/Init/Control/ExceptCps.lean %%DATADIR%%/src/lean/Init/Control/Id.lean %%DATADIR%%/src/lean/Init/Control/Lawful.lean %%DATADIR%%/src/lean/Init/Control/Option.lean %%DATADIR%%/src/lean/Init/Control/Reader.lean %%DATADIR%%/src/lean/Init/Control/State.lean %%DATADIR%%/src/lean/Init/Control/StateCps.lean %%DATADIR%%/src/lean/Init/Control/StateRef.lean %%DATADIR%%/src/lean/Init/Conv.lean %%DATADIR%%/src/lean/Init/Core.lean %%DATADIR%%/src/lean/Init/Data.lean %%DATADIR%%/src/lean/Init/Data/AC.lean %%DATADIR%%/src/lean/Init/Data/Array.lean %%DATADIR%%/src/lean/Init/Data/Array/Basic.lean %%DATADIR%%/src/lean/Init/Data/Array/BasicAux.lean %%DATADIR%%/src/lean/Init/Data/Array/BinSearch.lean %%DATADIR%%/src/lean/Init/Data/Array/DecidableEq.lean %%DATADIR%%/src/lean/Init/Data/Array/InsertionSort.lean %%DATADIR%%/src/lean/Init/Data/Array/Mem.lean %%DATADIR%%/src/lean/Init/Data/Array/QSort.lean %%DATADIR%%/src/lean/Init/Data/Array/Subarray.lean %%DATADIR%%/src/lean/Init/Data/Basic.lean %%DATADIR%%/src/lean/Init/Data/ByteArray.lean %%DATADIR%%/src/lean/Init/Data/ByteArray/Basic.lean %%DATADIR%%/src/lean/Init/Data/Channel.lean %%DATADIR%%/src/lean/Init/Data/Char.lean %%DATADIR%%/src/lean/Init/Data/Char/Basic.lean %%DATADIR%%/src/lean/Init/Data/Fin.lean %%DATADIR%%/src/lean/Init/Data/Fin/Basic.lean %%DATADIR%%/src/lean/Init/Data/Fin/Log2.lean %%DATADIR%%/src/lean/Init/Data/Float.lean %%DATADIR%%/src/lean/Init/Data/FloatArray.lean %%DATADIR%%/src/lean/Init/Data/FloatArray/Basic.lean %%DATADIR%%/src/lean/Init/Data/Format.lean %%DATADIR%%/src/lean/Init/Data/Format/Basic.lean %%DATADIR%%/src/lean/Init/Data/Format/Instances.lean %%DATADIR%%/src/lean/Init/Data/Format/Macro.lean %%DATADIR%%/src/lean/Init/Data/Format/Syntax.lean %%DATADIR%%/src/lean/Init/Data/Hashable.lean %%DATADIR%%/src/lean/Init/Data/Int.lean %%DATADIR%%/src/lean/Init/Data/Int/Basic.lean %%DATADIR%%/src/lean/Init/Data/List.lean %%DATADIR%%/src/lean/Init/Data/List/Basic.lean %%DATADIR%%/src/lean/Init/Data/List/BasicAux.lean %%DATADIR%%/src/lean/Init/Data/List/Control.lean %%DATADIR%%/src/lean/Init/Data/Nat.lean %%DATADIR%%/src/lean/Init/Data/Nat/Basic.lean %%DATADIR%%/src/lean/Init/Data/Nat/Bitwise.lean %%DATADIR%%/src/lean/Init/Data/Nat/Control.lean %%DATADIR%%/src/lean/Init/Data/Nat/Div.lean %%DATADIR%%/src/lean/Init/Data/Nat/Gcd.lean %%DATADIR%%/src/lean/Init/Data/Nat/Linear.lean %%DATADIR%%/src/lean/Init/Data/Nat/Log2.lean %%DATADIR%%/src/lean/Init/Data/Nat/Power2.lean %%DATADIR%%/src/lean/Init/Data/Nat/SOM.lean %%DATADIR%%/src/lean/Init/Data/OfScientific.lean %%DATADIR%%/src/lean/Init/Data/Option.lean %%DATADIR%%/src/lean/Init/Data/Option/Basic.lean %%DATADIR%%/src/lean/Init/Data/Option/BasicAux.lean %%DATADIR%%/src/lean/Init/Data/Option/Instances.lean %%DATADIR%%/src/lean/Init/Data/Ord.lean %%DATADIR%%/src/lean/Init/Data/Prod.lean %%DATADIR%%/src/lean/Init/Data/Queue.lean %%DATADIR%%/src/lean/Init/Data/Random.lean %%DATADIR%%/src/lean/Init/Data/Range.lean %%DATADIR%%/src/lean/Init/Data/Repr.lean %%DATADIR%%/src/lean/Init/Data/Stream.lean %%DATADIR%%/src/lean/Init/Data/String.lean %%DATADIR%%/src/lean/Init/Data/String/Basic.lean %%DATADIR%%/src/lean/Init/Data/String/Extra.lean %%DATADIR%%/src/lean/Init/Data/ToString.lean %%DATADIR%%/src/lean/Init/Data/ToString/Basic.lean %%DATADIR%%/src/lean/Init/Data/ToString/Macro.lean %%DATADIR%%/src/lean/Init/Data/UInt.lean %%DATADIR%%/src/lean/Init/Data/UInt/Basic.lean %%DATADIR%%/src/lean/Init/Data/UInt/Log2.lean %%DATADIR%%/src/lean/Init/Dynamic.lean %%DATADIR%%/src/lean/Init/Hints.lean %%DATADIR%%/src/lean/Init/Meta.lean %%DATADIR%%/src/lean/Init/MetaTypes.lean %%DATADIR%%/src/lean/Init/Notation.lean %%DATADIR%%/src/lean/Init/NotationExtra.lean %%DATADIR%%/src/lean/Init/Prelude.lean %%DATADIR%%/src/lean/Init/ShareCommon.lean %%DATADIR%%/src/lean/Init/SimpLemmas.lean %%DATADIR%%/src/lean/Init/SizeOf.lean %%DATADIR%%/src/lean/Init/SizeOfLemmas.lean %%DATADIR%%/src/lean/Init/System.lean %%DATADIR%%/src/lean/Init/System/FilePath.lean %%DATADIR%%/src/lean/Init/System/IO.lean %%DATADIR%%/src/lean/Init/System/IOError.lean %%DATADIR%%/src/lean/Init/System/Mutex.lean %%DATADIR%%/src/lean/Init/System/Platform.lean %%DATADIR%%/src/lean/Init/System/Promise.lean %%DATADIR%%/src/lean/Init/System/ST.lean %%DATADIR%%/src/lean/Init/System/Uri.lean %%DATADIR%%/src/lean/Init/Tactics.lean %%DATADIR%%/src/lean/Init/Util.lean %%DATADIR%%/src/lean/Init/WF.lean %%DATADIR%%/src/lean/Init/WFTactics.lean %%DATADIR%%/src/lean/Lean.lean %%DATADIR%%/src/lean/Lean/Attributes.lean %%DATADIR%%/src/lean/Lean/AuxRecursor.lean %%DATADIR%%/src/lean/Lean/Class.lean %%DATADIR%%/src/lean/Lean/Compiler.lean %%DATADIR%%/src/lean/Lean/Compiler/AtMostOnce.lean %%DATADIR%%/src/lean/Lean/Compiler/BorrowedAnnotation.lean %%DATADIR%%/src/lean/Lean/Compiler/CSimpAttr.lean %%DATADIR%%/src/lean/Lean/Compiler/ClosedTermCache.lean %%DATADIR%%/src/lean/Lean/Compiler/ConstFolding.lean %%DATADIR%%/src/lean/Lean/Compiler/ExportAttr.lean %%DATADIR%%/src/lean/Lean/Compiler/ExternAttr.lean %%DATADIR%%/src/lean/Lean/Compiler/FFI.lean %%DATADIR%%/src/lean/Lean/Compiler/IR.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/Basic.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/Borrow.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/Boxing.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/Checker.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/CompilerM.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/CtorLayout.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/ElimDeadBranches.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/ElimDeadVars.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/EmitC.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/EmitLLVM.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/EmitUtil.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/ExpandResetReuse.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/Format.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/FreeVars.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/LLVMBindings.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/LiveVars.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/NormIds.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/PushProj.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/RC.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/ResetReuse.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/SimpCase.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/Sorry.lean %%DATADIR%%/src/lean/Lean/Compiler/IR/UnboxResult.lean %%DATADIR%%/src/lean/Lean/Compiler/ImplementedByAttr.lean %%DATADIR%%/src/lean/Lean/Compiler/InitAttr.lean %%DATADIR%%/src/lean/Lean/Compiler/InlineAttrs.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/AlphaEqv.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/AuxDeclCache.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/BaseTypes.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Basic.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Bind.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/CSE.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Check.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Closure.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/CompatibleTypes.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/CompilerM.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ConfigOptions.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/DeclHash.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/DependsOn.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ElimDead.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ElimDeadBranches.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/FVarUtil.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/FixedParams.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/FloatLetIn.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ForEachExpr.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/InferType.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Internalize.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/JoinPoints.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/LCtx.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/LambdaLifting.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Level.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Main.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/MonadScope.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/MonoTypes.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/OtherDecl.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/PassManager.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Passes.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/PhaseExt.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/PrettyPrinter.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Probing.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/PullFunDecls.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/PullLetDecls.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ReduceArity.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ReduceJpArity.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Renaming.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ScopeM.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/Basic.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/Config.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/ConstantFold.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/DiscrM.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/InlineProj.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/JpCases.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/Main.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/SimpM.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/SimpValue.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/Used.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/SpecInfo.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Specialize.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Testing.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ToDecl.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ToExpr.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ToLCNF.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/ToMono.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Types.lean %%DATADIR%%/src/lean/Lean/Compiler/LCNF/Util.lean %%DATADIR%%/src/lean/Lean/Compiler/Main.lean %%DATADIR%%/src/lean/Lean/Compiler/NameMangling.lean %%DATADIR%%/src/lean/Lean/Compiler/NeverExtractAttr.lean %%DATADIR%%/src/lean/Lean/Compiler/NoncomputableAttr.lean %%DATADIR%%/src/lean/Lean/Compiler/Old.lean %%DATADIR%%/src/lean/Lean/Compiler/Options.lean %%DATADIR%%/src/lean/Lean/Compiler/Specialize.lean %%DATADIR%%/src/lean/Lean/CoreM.lean %%DATADIR%%/src/lean/Lean/Data.lean %%DATADIR%%/src/lean/Lean/Data/Array.lean %%DATADIR%%/src/lean/Lean/Data/AssocList.lean %%DATADIR%%/src/lean/Lean/Data/Format.lean %%DATADIR%%/src/lean/Lean/Data/FuzzyMatching.lean %%DATADIR%%/src/lean/Lean/Data/HashMap.lean %%DATADIR%%/src/lean/Lean/Data/HashSet.lean %%DATADIR%%/src/lean/Lean/Data/Json.lean %%DATADIR%%/src/lean/Lean/Data/Json/Basic.lean %%DATADIR%%/src/lean/Lean/Data/Json/FromToJson.lean %%DATADIR%%/src/lean/Lean/Data/Json/Parser.lean %%DATADIR%%/src/lean/Lean/Data/Json/Printer.lean %%DATADIR%%/src/lean/Lean/Data/Json/Stream.lean %%DATADIR%%/src/lean/Lean/Data/JsonRpc.lean %%DATADIR%%/src/lean/Lean/Data/KVMap.lean %%DATADIR%%/src/lean/Lean/Data/LBool.lean %%DATADIR%%/src/lean/Lean/Data/LOption.lean %%DATADIR%%/src/lean/Lean/Data/Lsp.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Basic.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Capabilities.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Client.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/CodeActions.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Communication.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Diagnostics.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Extra.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/InitShutdown.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Internal.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Ipc.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/LanguageFeatures.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/TextSync.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Utf16.lean %%DATADIR%%/src/lean/Lean/Data/Lsp/Workspace.lean %%DATADIR%%/src/lean/Lean/Data/Name.lean %%DATADIR%%/src/lean/Lean/Data/NameMap.lean %%DATADIR%%/src/lean/Lean/Data/NameTrie.lean %%DATADIR%%/src/lean/Lean/Data/OpenDecl.lean %%DATADIR%%/src/lean/Lean/Data/Options.lean %%DATADIR%%/src/lean/Lean/Data/Parsec.lean %%DATADIR%%/src/lean/Lean/Data/PersistentArray.lean %%DATADIR%%/src/lean/Lean/Data/PersistentHashMap.lean %%DATADIR%%/src/lean/Lean/Data/PersistentHashSet.lean %%DATADIR%%/src/lean/Lean/Data/Position.lean %%DATADIR%%/src/lean/Lean/Data/PrefixTree.lean %%DATADIR%%/src/lean/Lean/Data/RBMap.lean %%DATADIR%%/src/lean/Lean/Data/RBTree.lean %%DATADIR%%/src/lean/Lean/Data/Rat.lean %%DATADIR%%/src/lean/Lean/Data/SMap.lean %%DATADIR%%/src/lean/Lean/Data/SSet.lean %%DATADIR%%/src/lean/Lean/Data/Trie.lean %%DATADIR%%/src/lean/Lean/Data/Xml.lean %%DATADIR%%/src/lean/Lean/Data/Xml/Basic.lean %%DATADIR%%/src/lean/Lean/Data/Xml/Parser.lean %%DATADIR%%/src/lean/Lean/Declaration.lean %%DATADIR%%/src/lean/Lean/DeclarationRange.lean %%DATADIR%%/src/lean/Lean/DocString.lean %%DATADIR%%/src/lean/Lean/Elab.lean %%DATADIR%%/src/lean/Lean/Elab/App.lean %%DATADIR%%/src/lean/Lean/Elab/Arg.lean %%DATADIR%%/src/lean/Lean/Elab/Attributes.lean %%DATADIR%%/src/lean/Lean/Elab/AutoBound.lean %%DATADIR%%/src/lean/Lean/Elab/AuxDef.lean %%DATADIR%%/src/lean/Lean/Elab/Binders.lean %%DATADIR%%/src/lean/Lean/Elab/BindersUtil.lean %%DATADIR%%/src/lean/Lean/Elab/BuiltinCommand.lean %%DATADIR%%/src/lean/Lean/Elab/BuiltinNotation.lean %%DATADIR%%/src/lean/Lean/Elab/BuiltinTerm.lean %%DATADIR%%/src/lean/Lean/Elab/Calc.lean %%DATADIR%%/src/lean/Lean/Elab/Command.lean %%DATADIR%%/src/lean/Lean/Elab/ComputedFields.lean %%DATADIR%%/src/lean/Lean/Elab/Config.lean %%DATADIR%%/src/lean/Lean/Elab/DeclModifiers.lean %%DATADIR%%/src/lean/Lean/Elab/DeclUtil.lean %%DATADIR%%/src/lean/Lean/Elab/Declaration.lean %%DATADIR%%/src/lean/Lean/Elab/DeclarationRange.lean %%DATADIR%%/src/lean/Lean/Elab/DefView.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/BEq.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/Basic.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/DecEq.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/FromToJson.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/Hashable.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/Inhabited.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/Nonempty.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/Ord.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/Repr.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/SizeOf.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/TypeName.lean %%DATADIR%%/src/lean/Lean/Elab/Deriving/Util.lean %%DATADIR%%/src/lean/Lean/Elab/Do.lean %%DATADIR%%/src/lean/Lean/Elab/ElabRules.lean %%DATADIR%%/src/lean/Lean/Elab/Eval.lean %%DATADIR%%/src/lean/Lean/Elab/Exception.lean %%DATADIR%%/src/lean/Lean/Elab/Extra.lean %%DATADIR%%/src/lean/Lean/Elab/Frontend.lean %%DATADIR%%/src/lean/Lean/Elab/GenInjective.lean %%DATADIR%%/src/lean/Lean/Elab/Import.lean %%DATADIR%%/src/lean/Lean/Elab/Inductive.lean %%DATADIR%%/src/lean/Lean/Elab/InfoTree.lean %%DATADIR%%/src/lean/Lean/Elab/InfoTree/Main.lean %%DATADIR%%/src/lean/Lean/Elab/InfoTree/Types.lean %%DATADIR%%/src/lean/Lean/Elab/InheritDoc.lean %%DATADIR%%/src/lean/Lean/Elab/LetRec.lean %%DATADIR%%/src/lean/Lean/Elab/Level.lean %%DATADIR%%/src/lean/Lean/Elab/Macro.lean %%DATADIR%%/src/lean/Lean/Elab/MacroArgUtil.lean %%DATADIR%%/src/lean/Lean/Elab/MacroRules.lean %%DATADIR%%/src/lean/Lean/Elab/Match.lean %%DATADIR%%/src/lean/Lean/Elab/MatchAltView.lean %%DATADIR%%/src/lean/Lean/Elab/Mixfix.lean %%DATADIR%%/src/lean/Lean/Elab/MutualDef.lean %%DATADIR%%/src/lean/Lean/Elab/Notation.lean %%DATADIR%%/src/lean/Lean/Elab/Open.lean %%DATADIR%%/src/lean/Lean/Elab/ParseImportsFast.lean %%DATADIR%%/src/lean/Lean/Elab/PatternVar.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Basic.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Eqns.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Main.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/MkInhabitant.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/BRecOn.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/Basic.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/Eqns.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/IndPred.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/Main.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/Preprocess.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Eqns.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Fix.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/GuessLex.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Ite.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Main.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/PackDomain.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/PackMutual.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Preprocess.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Rel.lean %%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/TerminationHint.lean %%DATADIR%%/src/lean/Lean/Elab/Print.lean %%DATADIR%%/src/lean/Lean/Elab/Quotation.lean %%DATADIR%%/src/lean/Lean/Elab/Quotation/Precheck.lean %%DATADIR%%/src/lean/Lean/Elab/Quotation/Util.lean %%DATADIR%%/src/lean/Lean/Elab/RecAppSyntax.lean %%DATADIR%%/src/lean/Lean/Elab/SetOption.lean %%DATADIR%%/src/lean/Lean/Elab/StructInst.lean %%DATADIR%%/src/lean/Lean/Elab/Structure.lean %%DATADIR%%/src/lean/Lean/Elab/Syntax.lean %%DATADIR%%/src/lean/Lean/Elab/SyntheticMVars.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Basic.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/BuiltinTactic.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Cache.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Calc.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Config.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Congr.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Basic.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Change.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Congr.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Delta.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Pattern.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Rewrite.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Simp.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Unfold.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Delta.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/ElabTerm.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Generalize.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Induction.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Injection.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Location.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Match.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Meta.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Rewrite.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Simp.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Split.lean %%DATADIR%%/src/lean/Lean/Elab/Tactic/Unfold.lean %%DATADIR%%/src/lean/Lean/Elab/Term.lean %%DATADIR%%/src/lean/Lean/Elab/Util.lean %%DATADIR%%/src/lean/Lean/Environment.lean %%DATADIR%%/src/lean/Lean/Eval.lean %%DATADIR%%/src/lean/Lean/Exception.lean %%DATADIR%%/src/lean/Lean/Expr.lean %%DATADIR%%/src/lean/Lean/HeadIndex.lean %%DATADIR%%/src/lean/Lean/Hygiene.lean %%DATADIR%%/src/lean/Lean/ImportingFlag.lean %%DATADIR%%/src/lean/Lean/InternalExceptionId.lean %%DATADIR%%/src/lean/Lean/KeyedDeclsAttribute.lean %%DATADIR%%/src/lean/Lean/LazyInitExtension.lean %%DATADIR%%/src/lean/Lean/Level.lean %%DATADIR%%/src/lean/Lean/Linter.lean %%DATADIR%%/src/lean/Lean/Linter/Basic.lean %%DATADIR%%/src/lean/Lean/Linter/Builtin.lean %%DATADIR%%/src/lean/Lean/Linter/Deprecated.lean %%DATADIR%%/src/lean/Lean/Linter/MissingDocs.lean %%DATADIR%%/src/lean/Lean/Linter/UnusedVariables.lean %%DATADIR%%/src/lean/Lean/Linter/Util.lean %%DATADIR%%/src/lean/Lean/LoadDynlib.lean %%DATADIR%%/src/lean/Lean/LocalContext.lean %%DATADIR%%/src/lean/Lean/Log.lean %%DATADIR%%/src/lean/Lean/Message.lean %%DATADIR%%/src/lean/Lean/Meta.lean %%DATADIR%%/src/lean/Lean/Meta/ACLt.lean %%DATADIR%%/src/lean/Lean/Meta/AbstractMVars.lean %%DATADIR%%/src/lean/Lean/Meta/AbstractNestedProofs.lean %%DATADIR%%/src/lean/Lean/Meta/AppBuilder.lean %%DATADIR%%/src/lean/Lean/Meta/Basic.lean %%DATADIR%%/src/lean/Lean/Meta/CasesOn.lean %%DATADIR%%/src/lean/Lean/Meta/Check.lean %%DATADIR%%/src/lean/Lean/Meta/Closure.lean %%DATADIR%%/src/lean/Lean/Meta/Coe.lean %%DATADIR%%/src/lean/Lean/Meta/CollectFVars.lean %%DATADIR%%/src/lean/Lean/Meta/CollectMVars.lean %%DATADIR%%/src/lean/Lean/Meta/CongrTheorems.lean %%DATADIR%%/src/lean/Lean/Meta/Constructions.lean %%DATADIR%%/src/lean/Lean/Meta/DecLevel.lean %%DATADIR%%/src/lean/Lean/Meta/DiscrTree.lean %%DATADIR%%/src/lean/Lean/Meta/DiscrTreeTypes.lean %%DATADIR%%/src/lean/Lean/Meta/Eqns.lean %%DATADIR%%/src/lean/Lean/Meta/Eval.lean %%DATADIR%%/src/lean/Lean/Meta/ExprDefEq.lean %%DATADIR%%/src/lean/Lean/Meta/ExprLens.lean %%DATADIR%%/src/lean/Lean/Meta/ExprTraverse.lean %%DATADIR%%/src/lean/Lean/Meta/ForEachExpr.lean %%DATADIR%%/src/lean/Lean/Meta/FunInfo.lean %%DATADIR%%/src/lean/Lean/Meta/GeneralizeTelescope.lean %%DATADIR%%/src/lean/Lean/Meta/GeneralizeVars.lean %%DATADIR%%/src/lean/Lean/Meta/GetUnfoldableConst.lean %%DATADIR%%/src/lean/Lean/Meta/GlobalInstances.lean %%DATADIR%%/src/lean/Lean/Meta/IndPredBelow.lean %%DATADIR%%/src/lean/Lean/Meta/Inductive.lean %%DATADIR%%/src/lean/Lean/Meta/InferType.lean %%DATADIR%%/src/lean/Lean/Meta/Injective.lean %%DATADIR%%/src/lean/Lean/Meta/Instances.lean %%DATADIR%%/src/lean/Lean/Meta/KAbstract.lean %%DATADIR%%/src/lean/Lean/Meta/KExprMap.lean %%DATADIR%%/src/lean/Lean/Meta/LevelDefEq.lean %%DATADIR%%/src/lean/Lean/Meta/Match.lean %%DATADIR%%/src/lean/Lean/Meta/Match/Basic.lean %%DATADIR%%/src/lean/Lean/Meta/Match/CaseArraySizes.lean %%DATADIR%%/src/lean/Lean/Meta/Match/CaseValues.lean %%DATADIR%%/src/lean/Lean/Meta/Match/MVarRenaming.lean %%DATADIR%%/src/lean/Lean/Meta/Match/Match.lean %%DATADIR%%/src/lean/Lean/Meta/Match/MatchEqs.lean %%DATADIR%%/src/lean/Lean/Meta/Match/MatchEqsExt.lean %%DATADIR%%/src/lean/Lean/Meta/Match/MatchPatternAttr.lean %%DATADIR%%/src/lean/Lean/Meta/Match/MatcherInfo.lean %%DATADIR%%/src/lean/Lean/Meta/Match/Value.lean %%DATADIR%%/src/lean/Lean/Meta/MatchUtil.lean %%DATADIR%%/src/lean/Lean/Meta/Offset.lean %%DATADIR%%/src/lean/Lean/Meta/PPGoal.lean %%DATADIR%%/src/lean/Lean/Meta/RecursorInfo.lean %%DATADIR%%/src/lean/Lean/Meta/Reduce.lean %%DATADIR%%/src/lean/Lean/Meta/ReduceEval.lean %%DATADIR%%/src/lean/Lean/Meta/SizeOf.lean %%DATADIR%%/src/lean/Lean/Meta/Structure.lean %%DATADIR%%/src/lean/Lean/Meta/SynthInstance.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/AC.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/AC/Main.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Acyclic.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Apply.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Assert.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Assumption.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/AuxLemma.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Cases.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Cleanup.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Clear.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Congr.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Constructor.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Contradiction.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Delta.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/ElimInfo.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/FVarSubst.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Generalize.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Induction.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Injection.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Intro.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Basic.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Main.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Nat.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Simp.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Solver.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Refl.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Rename.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Replace.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Revert.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Rewrite.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Main.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Rewrite.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpAll.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpTheorems.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Types.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Split.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/SplitIf.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Subst.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Unfold.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/UnifyEq.lean %%DATADIR%%/src/lean/Lean/Meta/Tactic/Util.lean %%DATADIR%%/src/lean/Lean/Meta/Transform.lean %%DATADIR%%/src/lean/Lean/Meta/TransparencyMode.lean %%DATADIR%%/src/lean/Lean/Meta/UnificationHint.lean %%DATADIR%%/src/lean/Lean/Meta/WHNF.lean %%DATADIR%%/src/lean/Lean/MetavarContext.lean %%DATADIR%%/src/lean/Lean/Modifiers.lean %%DATADIR%%/src/lean/Lean/MonadEnv.lean %%DATADIR%%/src/lean/Lean/Parser.lean %%DATADIR%%/src/lean/Lean/Parser/Attr.lean %%DATADIR%%/src/lean/Lean/Parser/Basic.lean %%DATADIR%%/src/lean/Lean/Parser/Command.lean %%DATADIR%%/src/lean/Lean/Parser/Do.lean %%DATADIR%%/src/lean/Lean/Parser/Extension.lean %%DATADIR%%/src/lean/Lean/Parser/Extra.lean %%DATADIR%%/src/lean/Lean/Parser/Level.lean %%DATADIR%%/src/lean/Lean/Parser/Module.lean %%DATADIR%%/src/lean/Lean/Parser/StrInterpolation.lean %%DATADIR%%/src/lean/Lean/Parser/Syntax.lean %%DATADIR%%/src/lean/Lean/Parser/Tactic.lean %%DATADIR%%/src/lean/Lean/Parser/Term.lean %%DATADIR%%/src/lean/Lean/Parser/Types.lean %%DATADIR%%/src/lean/Lean/ParserCompiler.lean %%DATADIR%%/src/lean/Lean/ParserCompiler/Attribute.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Basic.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/Basic.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/Builtins.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/Options.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/SubExpr.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Formatter.lean %%DATADIR%%/src/lean/Lean/PrettyPrinter/Parenthesizer.lean %%DATADIR%%/src/lean/Lean/ProjFns.lean %%DATADIR%%/src/lean/Lean/ReducibilityAttrs.lean %%DATADIR%%/src/lean/Lean/Replay.lean %%DATADIR%%/src/lean/Lean/ResolveName.lean %%DATADIR%%/src/lean/Lean/Runtime.lean %%DATADIR%%/src/lean/Lean/ScopedEnvExtension.lean %%DATADIR%%/src/lean/Lean/Server.lean %%DATADIR%%/src/lean/Lean/Server/AsyncList.lean %%DATADIR%%/src/lean/Lean/Server/CodeActions.lean %%DATADIR%%/src/lean/Lean/Server/Completion.lean %%DATADIR%%/src/lean/Lean/Server/FileSource.lean %%DATADIR%%/src/lean/Lean/Server/FileWorker.lean %%DATADIR%%/src/lean/Lean/Server/FileWorker/RequestHandling.lean %%DATADIR%%/src/lean/Lean/Server/FileWorker/SetupFile.lean %%DATADIR%%/src/lean/Lean/Server/FileWorker/Utils.lean %%DATADIR%%/src/lean/Lean/Server/FileWorker/WidgetRequests.lean %%DATADIR%%/src/lean/Lean/Server/GoTo.lean %%DATADIR%%/src/lean/Lean/Server/ImportCompletion.lean %%DATADIR%%/src/lean/Lean/Server/InfoUtils.lean %%DATADIR%%/src/lean/Lean/Server/README.md %%DATADIR%%/src/lean/Lean/Server/References.lean %%DATADIR%%/src/lean/Lean/Server/Requests.lean %%DATADIR%%/src/lean/Lean/Server/Rpc.lean %%DATADIR%%/src/lean/Lean/Server/Rpc/Basic.lean %%DATADIR%%/src/lean/Lean/Server/Rpc/Deriving.lean %%DATADIR%%/src/lean/Lean/Server/Rpc/RequestHandling.lean %%DATADIR%%/src/lean/Lean/Server/Snapshots.lean %%DATADIR%%/src/lean/Lean/Server/Utils.lean %%DATADIR%%/src/lean/Lean/Server/Watchdog.lean %%DATADIR%%/src/lean/Lean/Structure.lean %%DATADIR%%/src/lean/Lean/SubExpr.lean %%DATADIR%%/src/lean/Lean/Syntax.lean %%DATADIR%%/src/lean/Lean/ToExpr.lean %%DATADIR%%/src/lean/Lean/Util.lean %%DATADIR%%/src/lean/Lean/Util/CollectFVars.lean %%DATADIR%%/src/lean/Lean/Util/CollectLevelParams.lean %%DATADIR%%/src/lean/Lean/Util/CollectMVars.lean %%DATADIR%%/src/lean/Lean/Util/FileSetupInfo.lean %%DATADIR%%/src/lean/Lean/Util/FindExpr.lean %%DATADIR%%/src/lean/Lean/Util/FindLevelMVar.lean %%DATADIR%%/src/lean/Lean/Util/FindMVar.lean %%DATADIR%%/src/lean/Lean/Util/FoldConsts.lean %%DATADIR%%/src/lean/Lean/Util/ForEachExpr.lean %%DATADIR%%/src/lean/Lean/Util/ForEachExprWhere.lean %%DATADIR%%/src/lean/Lean/Util/HasConstCache.lean %%DATADIR%%/src/lean/Lean/Util/InstantiateLevelParams.lean %%DATADIR%%/src/lean/Lean/Util/LakePath.lean %%DATADIR%%/src/lean/Lean/Util/LeanOptions.lean %%DATADIR%%/src/lean/Lean/Util/MonadBacktrack.lean %%DATADIR%%/src/lean/Lean/Util/MonadCache.lean %%DATADIR%%/src/lean/Lean/Util/OccursCheck.lean %%DATADIR%%/src/lean/Lean/Util/PPExt.lean %%DATADIR%%/src/lean/Lean/Util/Path.lean %%DATADIR%%/src/lean/Lean/Util/Paths.lean %%DATADIR%%/src/lean/Lean/Util/Profile.lean %%DATADIR%%/src/lean/Lean/Util/PtrSet.lean %%DATADIR%%/src/lean/Lean/Util/RecDepth.lean %%DATADIR%%/src/lean/Lean/Util/Recognizers.lean %%DATADIR%%/src/lean/Lean/Util/ReplaceExpr.lean %%DATADIR%%/src/lean/Lean/Util/ReplaceLevel.lean %%DATADIR%%/src/lean/Lean/Util/SCC.lean %%DATADIR%%/src/lean/Lean/Util/ShareCommon.lean %%DATADIR%%/src/lean/Lean/Util/Sorry.lean %%DATADIR%%/src/lean/Lean/Util/TestExtern.lean %%DATADIR%%/src/lean/Lean/Util/Trace.lean %%DATADIR%%/src/lean/Lean/Widget.lean %%DATADIR%%/src/lean/Lean/Widget/Basic.lean %%DATADIR%%/src/lean/Lean/Widget/Diff.lean %%DATADIR%%/src/lean/Lean/Widget/InteractiveCode.lean %%DATADIR%%/src/lean/Lean/Widget/InteractiveDiagnostic.lean %%DATADIR%%/src/lean/Lean/Widget/InteractiveGoal.lean %%DATADIR%%/src/lean/Lean/Widget/TaggedText.lean %%DATADIR%%/src/lean/Lean/Widget/Types.lean %%DATADIR%%/src/lean/Lean/Widget/UserWidget.lean %%DATADIR%%/src/lean/Leanc.lean %%DATADIR%%/src/lean/lake/Lake.lean %%DATADIR%%/src/lean/lake/Lake/Build.lean %%DATADIR%%/src/lean/lake/Lake/Build/Actions.lean %%DATADIR%%/src/lean/lake/Lake/Build/Common.lean %%DATADIR%%/src/lean/lake/Lake/Build/Context.lean %%DATADIR%%/src/lean/lake/Lake/Build/Data.lean %%DATADIR%%/src/lean/lake/Lake/Build/Executable.lean %%DATADIR%%/src/lean/lake/Lake/Build/Facets.lean %%DATADIR%%/src/lean/lake/Lake/Build/Imports.lean %%DATADIR%%/src/lean/lake/Lake/Build/Index.lean %%DATADIR%%/src/lean/lake/Lake/Build/Info.lean %%DATADIR%%/src/lean/lake/Lake/Build/Job.lean %%DATADIR%%/src/lean/lake/Lake/Build/Key.lean %%DATADIR%%/src/lean/lake/Lake/Build/Library.lean %%DATADIR%%/src/lean/lake/Lake/Build/Module.lean %%DATADIR%%/src/lean/lake/Lake/Build/Monad.lean %%DATADIR%%/src/lean/lake/Lake/Build/Package.lean %%DATADIR%%/src/lean/lake/Lake/Build/Store.lean %%DATADIR%%/src/lean/lake/Lake/Build/Targets.lean %%DATADIR%%/src/lean/lake/Lake/Build/Topological.lean %%DATADIR%%/src/lean/lake/Lake/Build/Trace.lean %%DATADIR%%/src/lean/lake/Lake/CLI.lean %%DATADIR%%/src/lean/lake/Lake/CLI/Actions.lean %%DATADIR%%/src/lean/lake/Lake/CLI/Build.lean %%DATADIR%%/src/lean/lake/Lake/CLI/Error.lean %%DATADIR%%/src/lean/lake/Lake/CLI/Help.lean %%DATADIR%%/src/lean/lake/Lake/CLI/Init.lean %%DATADIR%%/src/lean/lake/Lake/CLI/Main.lean %%DATADIR%%/src/lean/lake/Lake/CLI/Serve.lean %%DATADIR%%/src/lean/lake/Lake/Config.lean %%DATADIR%%/src/lean/lake/Lake/Config/Context.lean %%DATADIR%%/src/lean/lake/Lake/Config/Dependency.lean %%DATADIR%%/src/lean/lake/Lake/Config/Env.lean %%DATADIR%%/src/lean/lake/Lake/Config/ExternLib.lean %%DATADIR%%/src/lean/lake/Lake/Config/ExternLibConfig.lean %%DATADIR%%/src/lean/lake/Lake/Config/FacetConfig.lean %%DATADIR%%/src/lean/lake/Lake/Config/Glob.lean %%DATADIR%%/src/lean/lake/Lake/Config/InstallPath.lean %%DATADIR%%/src/lean/lake/Lake/Config/LeanConfig.lean %%DATADIR%%/src/lean/lake/Lake/Config/LeanExe.lean %%DATADIR%%/src/lean/lake/Lake/Config/LeanExeConfig.lean %%DATADIR%%/src/lean/lake/Lake/Config/LeanLib.lean %%DATADIR%%/src/lean/lake/Lake/Config/LeanLibConfig.lean %%DATADIR%%/src/lean/lake/Lake/Config/Module.lean %%DATADIR%%/src/lean/lake/Lake/Config/Monad.lean %%DATADIR%%/src/lean/lake/Lake/Config/Opaque.lean %%DATADIR%%/src/lean/lake/Lake/Config/Package.lean %%DATADIR%%/src/lean/lake/Lake/Config/Script.lean %%DATADIR%%/src/lean/lake/Lake/Config/TargetConfig.lean %%DATADIR%%/src/lean/lake/Lake/Config/Workspace.lean %%DATADIR%%/src/lean/lake/Lake/Config/WorkspaceConfig.lean %%DATADIR%%/src/lean/lake/Lake/DSL.lean %%DATADIR%%/src/lean/lake/Lake/DSL/Attributes.lean %%DATADIR%%/src/lean/lake/Lake/DSL/Config.lean %%DATADIR%%/src/lean/lake/Lake/DSL/DeclUtil.lean %%DATADIR%%/src/lean/lake/Lake/DSL/Extensions.lean %%DATADIR%%/src/lean/lake/Lake/DSL/Meta.lean %%DATADIR%%/src/lean/lake/Lake/DSL/Package.lean %%DATADIR%%/src/lean/lake/Lake/DSL/Require.lean %%DATADIR%%/src/lean/lake/Lake/DSL/Script.lean %%DATADIR%%/src/lean/lake/Lake/DSL/Targets.lean %%DATADIR%%/src/lean/lake/Lake/Load.lean %%DATADIR%%/src/lean/lake/Lake/Load/Config.lean %%DATADIR%%/src/lean/lake/Lake/Load/Elab.lean %%DATADIR%%/src/lean/lake/Lake/Load/Main.lean %%DATADIR%%/src/lean/lake/Lake/Load/Manifest.lean %%DATADIR%%/src/lean/lake/Lake/Load/Materialize.lean %%DATADIR%%/src/lean/lake/Lake/Load/Package.lean %%DATADIR%%/src/lean/lake/Lake/Main.lean %%DATADIR%%/src/lean/lake/Lake/Util/Async.lean %%DATADIR%%/src/lean/lake/Lake/Util/Binder.lean %%DATADIR%%/src/lean/lake/Lake/Util/Casing.lean %%DATADIR%%/src/lean/lake/Lake/Util/Cli.lean %%DATADIR%%/src/lean/lake/Lake/Util/Compare.lean %%DATADIR%%/src/lean/lake/Lake/Util/Cycle.lean %%DATADIR%%/src/lean/lake/Lake/Util/DRBMap.lean %%DATADIR%%/src/lean/lake/Lake/Util/EStateT.lean %%DATADIR%%/src/lean/lake/Lake/Util/EquipT.lean %%DATADIR%%/src/lean/lake/Lake/Util/Error.lean %%DATADIR%%/src/lean/lake/Lake/Util/Exit.lean %%DATADIR%%/src/lean/lake/Lake/Util/Family.lean %%DATADIR%%/src/lean/lake/Lake/Util/Git.lean %%DATADIR%%/src/lean/lake/Lake/Util/Lift.lean %%DATADIR%%/src/lean/lake/Lake/Util/List.lean %%DATADIR%%/src/lean/lake/Lake/Util/Log.lean %%DATADIR%%/src/lean/lake/Lake/Util/MainM.lean %%DATADIR%%/src/lean/lake/Lake/Util/Name.lean %%DATADIR%%/src/lean/lake/Lake/Util/NativeLib.lean %%DATADIR%%/src/lean/lake/Lake/Util/Opaque.lean %%DATADIR%%/src/lean/lake/Lake/Util/OptionIO.lean %%DATADIR%%/src/lean/lake/Lake/Util/OrdHashSet.lean %%DATADIR%%/src/lean/lake/Lake/Util/OrderedTagAttribute.lean %%DATADIR%%/src/lean/lake/Lake/Util/Platform.lean %%DATADIR%%/src/lean/lake/Lake/Util/Proc.lean %%DATADIR%%/src/lean/lake/Lake/Util/RBArray.lean %%DATADIR%%/src/lean/lake/Lake/Util/Store.lean %%DATADIR%%/src/lean/lake/Lake/Util/StoreInsts.lean %%DATADIR%%/src/lean/lake/Lake/Util/Sugar.lean %%DATADIR%%/src/lean/lake/Lake/Util/Task.lean %%DATADIR%%/src/lean/lake/Lake/Version.lean %%DATADIR%%/src/lean/lake/README.md %%DATADIR%%/src/lean/lake/lakefile.lean %%DATADIR%%/src/lean/lake/tests/badImport/Lib/A.lean %%DATADIR%%/src/lean/lake/tests/badImport/Lib/B.lean %%DATADIR%%/src/lean/lake/tests/badImport/X.lean %%DATADIR%%/src/lean/lake/tests/badImport/lakefile.lean %%DATADIR%%/src/lean/lake/tests/buildArgs/Hello.lean %%DATADIR%%/src/lean/lake/tests/buildArgs/Main.lean %%DATADIR%%/src/lean/lake/tests/buildArgs/foo.lean %%DATADIR%%/src/lean/lake/tests/buildArgs/lakefile.lean %%DATADIR%%/src/lean/lake/tests/clone/test/Main.lean %%DATADIR%%/src/lean/lake/tests/clone/test/lakefile.lean %%DATADIR%%/src/lean/lake/tests/globs/TBA.lean %%DATADIR%%/src/lean/lake/tests/globs/TBA/Eulerian.lean %%DATADIR%%/src/lean/lake/tests/globs/TBA/Eulerian/A.lean %%DATADIR%%/src/lean/lake/tests/globs/Test/1.lean %%DATADIR%%/src/lean/lake/tests/globs/Test/Subtest/1.lean %%DATADIR%%/src/lean/lake/tests/globs/lakefile.lean %%DATADIR%%/src/lean/lake/tests/llvm-bitcode-gen/LlvmBitcodeGen.lean %%DATADIR%%/src/lean/lake/tests/llvm-bitcode-gen/LlvmBitcodeGen/Basic.lean %%DATADIR%%/src/lean/lake/tests/llvm-bitcode-gen/Main.lean %%DATADIR%%/src/lean/lake/tests/llvm-bitcode-gen/lakefile.lean %%DATADIR%%/src/lean/lake/tests/lock/Error.lean %%DATADIR%%/src/lean/lake/tests/lock/Loop.lean %%DATADIR%%/src/lean/lake/tests/lock/Nop.lean %%DATADIR%%/src/lean/lake/tests/lock/Wait.lean %%DATADIR%%/src/lean/lake/tests/lock/lakefile.lean %%DATADIR%%/src/lean/lake/tests/manifest/bar/lakefile.lean %%DATADIR%%/src/lean/lake/tests/manifest/foo/lakefile.lean %%DATADIR%%/src/lean/lake/tests/manifest/lakefile.lean %%DATADIR%%/src/lean/lake/tests/meta/lakefile.lean %%DATADIR%%/src/lean/lake/tests/noBuild/Test.lean %%DATADIR%%/src/lean/lake/tests/noBuild/lakefile.lean %%DATADIR%%/src/lean/lake/tests/order/A.lean %%DATADIR%%/src/lean/lake/tests/order/A/B.lean %%DATADIR%%/src/lean/lake/tests/order/A/B/C.lean %%DATADIR%%/src/lean/lake/tests/order/Y.lean %%DATADIR%%/src/lean/lake/tests/order/bar/X.lean %%DATADIR%%/src/lean/lake/tests/order/bar/Y.lean %%DATADIR%%/src/lean/lake/tests/order/bar/lakefile.lean %%DATADIR%%/src/lean/lake/tests/order/foo/X.lean %%DATADIR%%/src/lean/lake/tests/order/foo/Y.lean %%DATADIR%%/src/lean/lake/tests/order/foo/lakefile.lean %%DATADIR%%/src/lean/lake/tests/order/lakefile.lean %%DATADIR%%/src/lean/lake/tests/postUpdate/dep/hello.lean %%DATADIR%%/src/lean/lake/tests/postUpdate/dep/lakefile.lean %%DATADIR%%/src/lean/lake/tests/postUpdate/lakefile.lean %%DATADIR%%/src/lean/lake/tests/precompileArgs/Foo.lean %%DATADIR%%/src/lean/lake/tests/precompileArgs/Foo/Bar.lean %%DATADIR%%/src/lean/lake/tests/precompileArgs/lakefile.lean %%DATADIR%%/src/lean/lake/tests/rebuild/Main.lean %%DATADIR%%/src/lean/lake/tests/rebuild/lakefile.lean