HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"count": 3073976,
"next": "http://ports.macports.org/api/v1/files/?format=api&page=61465",
"previous": "http://ports.macports.org/api/v1/files/?format=api&page=61463",
"results": [
{
"build_id": 14642,
"files": [
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.6/lib/python3.6/site-packages/__pycache__/strict_rfc3339.cpython-36.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.6/lib/python3.6/site-packages/strict_rfc3339-0.7-py3.6.egg-info\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.6/lib/python3.6/site-packages/strict_rfc3339.py\n"
}
]
},
{
"build_id": 14643,
"files": [
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11-1.5.10-py3.7.egg-info/PKG-INFO\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11-1.5.10-py3.7.egg-info/SOURCES.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11-1.5.10-py3.7.egg-info/dependency_links.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11-1.5.10-py3.7.egg-info/top_level.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11/LowLevel.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11/_LowLevel.cpython-37m-darwin.so\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11/__init__.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11/__pycache__/LowLevel.cpython-37.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.7/lib/python3.7/site-packages/PyKCS11/__pycache__/__init__.cpython-37.pyc\n"
},
{
"file": " /opt/local/share/doc/py37-kcs11/COPYING\n"
},
{
"file": " /opt/local/share/doc/py37-kcs11/README.md\n"
}
]
},
{
"build_id": 14644,
"files": [
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope.i18nmessageid-5.0.1-py3.8-nspkg.pth\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope.i18nmessageid-5.0.1-py3.8.egg-info/PKG-INFO\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope.i18nmessageid-5.0.1-py3.8.egg-info/SOURCES.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope.i18nmessageid-5.0.1-py3.8.egg-info/dependency_links.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope.i18nmessageid-5.0.1-py3.8.egg-info/namespace_packages.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope.i18nmessageid-5.0.1-py3.8.egg-info/not-zip-safe\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope.i18nmessageid-5.0.1-py3.8.egg-info/requires.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope.i18nmessageid-5.0.1-py3.8.egg-info/top_level.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope/i18nmessageid/__init__.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope/i18nmessageid/__pycache__/__init__.cpython-38.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope/i18nmessageid/__pycache__/message.cpython-38.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope/i18nmessageid/__pycache__/tests.cpython-38.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope/i18nmessageid/_zope_i18nmessageid_message.c\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope/i18nmessageid/_zope_i18nmessageid_message.cpython-38-darwin.so\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope/i18nmessageid/message.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/zope/i18nmessageid/tests.py\n"
}
]
},
{
"build_id": 14645,
"files": []
},
{
"build_id": 14646,
"files": [
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope.i18nmessageid-5.0.1-py3.9-nspkg.pth\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope.i18nmessageid-5.0.1-py3.9.egg-info/PKG-INFO\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope.i18nmessageid-5.0.1-py3.9.egg-info/SOURCES.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope.i18nmessageid-5.0.1-py3.9.egg-info/dependency_links.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope.i18nmessageid-5.0.1-py3.9.egg-info/namespace_packages.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope.i18nmessageid-5.0.1-py3.9.egg-info/not-zip-safe\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope.i18nmessageid-5.0.1-py3.9.egg-info/requires.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope.i18nmessageid-5.0.1-py3.9.egg-info/top_level.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope/i18nmessageid/__init__.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope/i18nmessageid/__pycache__/__init__.cpython-39.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope/i18nmessageid/__pycache__/message.cpython-39.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope/i18nmessageid/__pycache__/tests.cpython-39.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope/i18nmessageid/_zope_i18nmessageid_message.c\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope/i18nmessageid/_zope_i18nmessageid_message.cpython-39-darwin.so\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope/i18nmessageid/message.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/zope/i18nmessageid/tests.py\n"
}
]
},
{
"build_id": 14647,
"files": []
},
{
"build_id": 14648,
"files": [
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope.i18nmessageid-5.0.1-py3.10-nspkg.pth\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope.i18nmessageid-5.0.1-py3.10.egg-info/PKG-INFO\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope.i18nmessageid-5.0.1-py3.10.egg-info/SOURCES.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope.i18nmessageid-5.0.1-py3.10.egg-info/dependency_links.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope.i18nmessageid-5.0.1-py3.10.egg-info/namespace_packages.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope.i18nmessageid-5.0.1-py3.10.egg-info/not-zip-safe\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope.i18nmessageid-5.0.1-py3.10.egg-info/requires.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope.i18nmessageid-5.0.1-py3.10.egg-info/top_level.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope/i18nmessageid/__init__.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope/i18nmessageid/__pycache__/__init__.cpython-310.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope/i18nmessageid/__pycache__/message.cpython-310.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope/i18nmessageid/__pycache__/tests.cpython-310.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope/i18nmessageid/_zope_i18nmessageid_message.c\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope/i18nmessageid/_zope_i18nmessageid_message.cpython-310-darwin.so\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope/i18nmessageid/message.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/zope/i18nmessageid/tests.py\n"
}
]
},
{
"build_id": 14649,
"files": []
},
{
"build_id": 14650,
"files": [
{
"file": " /opt/local/bin/kittensay\n"
},
{
"file": " /opt/local/bin/rfksay\n"
},
{
"file": " /opt/local/bin/robotsay\n"
}
]
},
{
"build_id": 99399,
"files": []
},
{
"build_id": 126830,
"files": []
},
{
"build_id": 126831,
"files": []
},
{
"build_id": 126832,
"files": []
},
{
"build_id": 177300,
"files": [
{
"file": " /opt/local/bin/lean\n"
},
{
"file": " /opt/local/bin/leanchecker\n"
},
{
"file": " /opt/local/bin/leanpkg\n"
},
{
"file": " /opt/local/include/lean_ext/checker/simple_pp.h\n"
},
{
"file": " /opt/local/include/lean_ext/checker/text_import.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/brackets.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/builtin_cmds.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/builtin_exprs.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/calc.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/cmd_table.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/completion.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/decl_attributes.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/decl_cmds.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/decl_util.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/definition_cmds.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/dependencies.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/elaborator.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/inductive_cmds.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/info_manager.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/interactive.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/json.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/local_context_adapter.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/local_decls.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/local_level_decls.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/match_expr.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/module_parser.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/notation_cmd.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parse_table.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parser.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parser_config.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parser_pos_provider.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parser_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/pp.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/prenum.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/print_cmd.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/scanner.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/structure_cmd.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/structure_instance.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/tactic_notation.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/token_table.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/tokens.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/type_util.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/user_command.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/user_notation.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/widget.h\n"
},
{
"file": " /opt/local/include/lean_ext/init/init.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/abstract.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/abstract_type_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/cache_stack.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/declaration.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/environment.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/equiv_manager.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/error_msgs.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_eq_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_maps.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_pair.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_sets.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/ext_exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/find_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/for_each_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/formatter.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/free_vars.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/inductive/inductive.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/instantiate.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/kernel_exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/level.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/normalizer_extension.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/pos_info_provider.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/quotient/quotient.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/replace_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/scope_pos_info_provider.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/standard_kernel.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/type_checker.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/abstract_context_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/abstract_parser.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/ac_match.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/aliases.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/annotation.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/app_builder.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/ast_exporter.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/attribute_manager.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/aux_definition.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/aux_recursors.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/bin_app.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/cache_helper.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/check.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/choice.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/class.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/comp_val.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/comp_irrelevant.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/compiler_step_visitor.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/cse.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/elim_recursors.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/elim_unused_lets.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/erase_irrelevant.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/eta_expansion.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/extract_values.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/inliner.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/lambda_lifting.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/nat_value.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/preprocess.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/procedure.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/rec_fn_macro.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/reduce_arity.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/simp_inductive.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/vm_compiler.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/congr_lemma.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constants.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/brec_on.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/cases_on.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/constructor.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/drec.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/has_sizeof.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/injective.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/no_confusion.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/projection.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/rec_on.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/context_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/deep_copy.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/defeq_canonizer.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/delayed_abstraction.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/discr_tree.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/documentation.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/elab_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/compiler.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/elim_match.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/equations.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/pack_domain.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/pack_mutual.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/structural_rec.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/unbounded_rec.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/wf_rec.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/eval_helper.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/explicit.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/export.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/export_decl.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_address.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_lt.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_pair.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_pair_maps.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_unsigned_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/feature_search.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/fingerprint.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/fun_info.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/handle.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/head_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/idx_metavar.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/add_decl.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/basic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/compiler.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/ginductive.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/ginductive_decl.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/mutual.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/nested.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inverse.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/io_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/io_state_stream.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/kernel_serializer.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/library_task_builder.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/local_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/local_instances.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/locals.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/max_sharing.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/message_builder.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/messages.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/metavar_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/metavar_util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/module_mgr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/mt_task_queue.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/native_compiler/cpp_compiler.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/noncomputable.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/normalize.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/num.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/parray.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/pattern_attribute.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/persistent_context_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/phash_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/phashtable.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/pipe.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/placeholder.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/pp_options.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/predict/predict.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/print.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/private.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/process.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/profiling.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/projection.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/protected.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/quote.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/reducible.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/relation_manager.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/replace_visitor.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/replace_visitor_with_tc.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/scoped_ext.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/shared_environment.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/sorry.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/st_task_queue.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/string.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/ac_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/algebraic_normalizer.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/app_builder_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/apply_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/assert_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/backward/backward_chaining.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/backward/backward_lemmas.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/backward/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/cases_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/change_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/clear_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/congr_lemma_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/destruct_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/dsimplify.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/elaborate.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/elaborator_exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/eqn_lemmas.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/eval.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/exact_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/fun_info_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/generalize_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/gexpr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/hole_command.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/hsubstitution.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/induction_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/intro_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/kabstract.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/match_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/occurrences.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/revert_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/rewrite_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/simp_lemmas.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/simp_result.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/simp_util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/simplify.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/congruence_closure.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/congruence_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/ematch.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/hinst_lemmas.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/smt_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/theory_ac.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/subst_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/tactic_evaluator.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/tactic_log.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/tactic_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/unfold_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/user_attribute.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/vm_local_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/vm_monitor.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/vm_type_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/time_task.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tlean_exporter.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/trace.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/type_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/typed_expr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/unfold_macros.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/unification_hint.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/unique_id.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/update_declaration.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/user_recursors.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/interaction_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/interaction_state_imp.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/optimize.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_array.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_aux.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_declaration.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_eformat.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_environment.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_exceptional.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_expr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_float.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_format.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_int.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_io.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_json.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_level.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_list.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_module_info.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_name.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_nat.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_option.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_options.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_ordering.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_override.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_parser.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_pexpr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_pos_info.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_rb_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_string.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_task.h\n"
},
{
"file": " /opt/local/include/lean_ext/shell/emscripten.h\n"
},
{
"file": " /opt/local/include/lean_ext/shell/lean_js.h\n"
},
{
"file": " /opt/local/include/lean_ext/shell/server.h\n"
},
{
"file": " /opt/local/include/lean_ext/shell/simple_pos_info_provider.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/ascii.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/bit_tricks.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/bitap_fuzzy_search.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/buffer.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/cancellable.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/compiler_hints.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/debug.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/escaped.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/exception_with_pos.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/extensible_object.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/file_lock.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/flet.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/freset.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/fresh_name.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/hash.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/int64.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/interrupt.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/lbool.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/lean_json.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/lean_path.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/line_endings.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/list.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/list_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/log_tree.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/lru_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/macros.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/memory.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/memory_pool.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/message_definitions.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_generator.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_hash_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_hash_set.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_set.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/null_ostream.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/numerics/mpq.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/numerics/mpz.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/object_serializer.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/optional.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/output_channel.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/pair.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/parser_exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/path.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/priority_queue.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/rb_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/rb_multi_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/rb_tree.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/rc.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/safe_arith.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/scoped_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/scoped_set.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sequence.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/serializer.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/format.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/option_declarations.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/options.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/sexpr.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/sexpr_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/shared_mutex.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/small_object_allocator.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sstream.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/stackinfo.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/subscripted_name_set.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/task.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/task_builder.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/test.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/thread.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/timeit.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/timer.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/trie.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/unit.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/unlock_guard.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/utf8.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/worker_queue.h\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/README.md\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg.toml\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/git.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/git.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/lean_version.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/lean_version.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/main.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/main.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/manifest.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/manifest.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/proc.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/proc.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/resolve.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/resolve.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/toml.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/toml.olean\n"
},
{
"file": " /opt/local/lib/lean/library/data/buffer.lean\n"
},
{
"file": " /opt/local/lib/lean/library/data/buffer.olean\n"
},
{
"file": " /opt/local/lib/lean/library/data/buffer/parser.lean\n"
},
{
"file": " /opt/local/lib/lean/library/data/buffer/parser.olean\n"
},
{
"file": " /opt/local/lib/lean/library/data/dlist.lean\n"
},
{
"file": " /opt/local/lib/lean/library/data/dlist.olean\n"
},
{
"file": " /opt/local/lib/lean/library/data/vector.lean\n"
},
{
"file": " /opt/local/lib/lean/library/data/vector.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/classes.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/classes.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/functions.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/functions.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/order.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/order.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/cc_lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/cc_lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/classical.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/classical.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/coe.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/coe.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/alternative.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/alternative.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/applicative.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/applicative.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/combinators.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/combinators.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/except.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/except.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/functor.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/functor.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/id.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/id.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/lawful.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/lawful.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/lift.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/lift.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/monad.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/monad.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/monad_fail.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/monad_fail.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/option.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/option.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/reader.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/reader.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/state.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/state.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/core.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/core.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/slice.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/slice.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/classes.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/classes.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/ops.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/ops.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/bitwise.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/bitwise.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/comp_lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/comp_lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/order.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/order.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/instances.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/instances.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/qsort.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/qsort.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/bitwise.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/bitwise.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/div.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/div.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/gcd.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/gcd.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/option/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/option/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/option/instances.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/option/instances.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/prod.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/prod.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/punit.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/punit.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/quot.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/quot.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/repr.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/repr.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/set.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/set.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/setoid.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/setoid.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/lex.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/lex.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/ops.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/ops.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/instances.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/instances.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/instances.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/instances.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/to_string.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/to_string.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/ops.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/ops.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/function.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/function.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/funext.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/funext.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/init.md\n"
},
{
"file": " /opt/local/lib/lean/library/init/ite_simp.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/ite_simp.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/logic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/logic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/ac_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/ac_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/async_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/async_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/attribute.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/attribute.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/backward.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/backward.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/case_tag.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/case_tag.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/comp_value_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/comp_value_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/congr_lemma.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/congr_lemma.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/congr_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/congr_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/constructor_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/constructor_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/contradiction_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/contradiction_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/conv.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/conv.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/interactive.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/interactive.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/decl_cmds.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/decl_cmds.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/declaration.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/declaration.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/derive.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/derive.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/environment.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/environment.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/exceptional.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/exceptional.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/expr.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/expr.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/expr_address.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/expr_address.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/feature_search.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/feature_search.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/float.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/float.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/format.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/format.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/fun_info.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/fun_info.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/has_reflect.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/has_reflect.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/hole_command.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/hole_command.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/injection_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/injection_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/instance_cache.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/instance_cache.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interaction_monad.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interaction_monad.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interactive.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interactive.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interactive_base.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interactive_base.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/json.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/json.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/lean/parser.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/lean/parser.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/level.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/level.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/local_context.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/local_context.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/match_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/match_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_dec_eq_instance.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_dec_eq_instance.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_has_reflect_instance.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_has_reflect_instance.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_has_sizeof_instance.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_has_sizeof_instance.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_inhabited_instance.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_inhabited_instance.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/module_info.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/module_info.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/name.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/name.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/occurrences.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/occurrences.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/options.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/options.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/pexpr.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/pexpr.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rb_map.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rb_map.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rec_util.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rec_util.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/ref.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/ref.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/relation_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/relation_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rewrite_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rewrite_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/set_get_option_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/set_get_option_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/simp_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/simp_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/congruence_closure.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/congruence_closure.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/ematch.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/ematch.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/interactive.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/interactive.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/rsimp.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/rsimp.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/smt_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/smt_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/tagged_format.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/tagged_format.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/task.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/task.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/type_context.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/type_context.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/vm.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/vm.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/well_founded_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/well_founded_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/html_cmd.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/html_cmd.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/interactive_expr.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/interactive_expr.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/replace_save_info.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/replace_save_info.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/tactic_component.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/tactic_component.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/propext.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/propext.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/util.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/util.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/version.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/version.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/wf.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/wf.olean\n"
},
{
"file": " /opt/local/lib/lean/library/library.md\n"
},
{
"file": " /opt/local/lib/lean/library/smt/arith.lean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/arith.olean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/array.lean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/array.olean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/prove.lean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/prove.olean\n"
},
{
"file": " /opt/local/lib/lean/library/system/io.lean\n"
},
{
"file": " /opt/local/lib/lean/library/system/io.olean\n"
},
{
"file": " /opt/local/lib/lean/library/system/io_interface.lean\n"
},
{
"file": " /opt/local/lib/lean/library/system/io_interface.olean\n"
},
{
"file": " /opt/local/lib/lean/library/system/random.lean\n"
},
{
"file": " /opt/local/lib/lean/library/system/random.olean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/cli.lean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/cli.olean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/util.lean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/util.olean\n"
}
]
},
{
"build_id": 207554,
"files": []
},
{
"build_id": 207555,
"files": []
},
{
"build_id": 207556,
"files": []
},
{
"build_id": 207557,
"files": []
},
{
"build_id": 207558,
"files": []
},
{
"build_id": 215796,
"files": []
},
{
"build_id": 215797,
"files": []
},
{
"build_id": 129741,
"files": []
},
{
"build_id": 129742,
"files": []
},
{
"build_id": 129743,
"files": []
},
{
"build_id": 139244,
"files": []
},
{
"build_id": 139245,
"files": []
},
{
"build_id": 139246,
"files": []
},
{
"build_id": 139247,
"files": []
},
{
"build_id": 139248,
"files": []
},
{
"build_id": 139249,
"files": []
},
{
"build_id": 14651,
"files": [
{
"file": " /opt/local/bin/neko\n"
},
{
"file": " /opt/local/bin/nekoc\n"
},
{
"file": " /opt/local/bin/nekoml\n"
},
{
"file": " /opt/local/bin/nekotools\n"
},
{
"file": " /opt/local/include/neko.h\n"
},
{
"file": " /opt/local/include/neko_elf.h\n"
},
{
"file": " /opt/local/include/neko_mod.h\n"
},
{
"file": " /opt/local/include/neko_vm.h\n"
},
{
"file": " /opt/local/lib/cmake/Neko/NekoConfig.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Neko/NekoConfigVersion.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Neko/NekoTargets-macports.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Neko/NekoTargets.cmake\n"
},
{
"file": " /opt/local/lib/libneko.2.3.0.dylib\n"
},
{
"file": " /opt/local/lib/libneko.2.dylib\n"
},
{
"file": " /opt/local/lib/libneko.dylib\n"
},
{
"file": " /opt/local/lib/neko/mod_neko2.ndll\n"
},
{
"file": " /opt/local/lib/neko/mod_tora2.ndll\n"
},
{
"file": " /opt/local/lib/neko/mysql.ndll\n"
},
{
"file": " /opt/local/lib/neko/mysql5.ndll\n"
},
{
"file": " /opt/local/lib/neko/nekoml.std\n"
},
{
"file": " /opt/local/lib/neko/regexp.ndll\n"
},
{
"file": " /opt/local/lib/neko/sqlite.ndll\n"
},
{
"file": " /opt/local/lib/neko/ssl.ndll\n"
},
{
"file": " /opt/local/lib/neko/std.ndll\n"
},
{
"file": " /opt/local/lib/neko/ui.ndll\n"
},
{
"file": " /opt/local/lib/neko/zlib.ndll\n"
},
{
"file": " /opt/local/share/doc/neko/CHANGES\n"
},
{
"file": " /opt/local/share/doc/neko/LICENSE\n"
}
]
},
{
"build_id": 14652,
"files": [
{
"file": " /opt/local/include/Iir.h\n"
},
{
"file": " /opt/local/include/iir/Biquad.h\n"
},
{
"file": " /opt/local/include/iir/Butterworth.h\n"
},
{
"file": " /opt/local/include/iir/Cascade.h\n"
},
{
"file": " /opt/local/include/iir/ChebyshevI.h\n"
},
{
"file": " /opt/local/include/iir/ChebyshevII.h\n"
},
{
"file": " /opt/local/include/iir/Common.h\n"
},
{
"file": " /opt/local/include/iir/Custom.h\n"
},
{
"file": " /opt/local/include/iir/Layout.h\n"
},
{
"file": " /opt/local/include/iir/MathSupplement.h\n"
},
{
"file": " /opt/local/include/iir/PoleFilter.h\n"
},
{
"file": " /opt/local/include/iir/RBJ.h\n"
},
{
"file": " /opt/local/include/iir/State.h\n"
},
{
"file": " /opt/local/include/iir/Types.h\n"
},
{
"file": " /opt/local/lib/cmake/iir/iirConfig.cmake\n"
},
{
"file": " /opt/local/lib/cmake/iir/iirConfigVersion.cmake\n"
},
{
"file": " /opt/local/lib/cmake/iir/iirTargets-macports.cmake\n"
},
{
"file": " /opt/local/lib/cmake/iir/iirTargets.cmake\n"
},
{
"file": " /opt/local/lib/libiir.1.9.4.dylib\n"
},
{
"file": " /opt/local/lib/libiir.1.dylib\n"
},
{
"file": " /opt/local/lib/libiir.dylib\n"
},
{
"file": " /opt/local/lib/libiir_static.a\n"
},
{
"file": " /opt/local/lib/pkgconfig/iir.pc\n"
}
]
},
{
"build_id": 55858,
"files": []
},
{
"build_id": 152738,
"files": [
{
"file": " /opt/local/bin/lean\n"
},
{
"file": " /opt/local/bin/leanchecker\n"
},
{
"file": " /opt/local/bin/leanpkg\n"
},
{
"file": " /opt/local/include/lean_ext/checker/simple_pp.h\n"
},
{
"file": " /opt/local/include/lean_ext/checker/text_import.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/brackets.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/builtin_cmds.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/builtin_exprs.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/calc.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/cmd_table.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/completion.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/decl_attributes.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/decl_cmds.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/decl_util.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/definition_cmds.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/dependencies.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/elaborator.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/inductive_cmds.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/info_manager.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/interactive.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/json.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/local_context_adapter.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/local_decls.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/local_level_decls.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/match_expr.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/module_parser.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/notation_cmd.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parse_table.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parser.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parser_config.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parser_pos_provider.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/parser_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/pp.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/prenum.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/print_cmd.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/scanner.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/structure_cmd.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/structure_instance.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/tactic_notation.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/token_table.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/tokens.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/type_util.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/user_command.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/user_notation.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/frontends/lean/widget.h\n"
},
{
"file": " /opt/local/include/lean_ext/init/init.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/abstract.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/abstract_type_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/cache_stack.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/declaration.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/environment.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/equiv_manager.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/error_msgs.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_eq_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_maps.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_pair.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/expr_sets.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/ext_exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/find_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/for_each_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/formatter.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/free_vars.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/inductive/inductive.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/instantiate.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/kernel_exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/level.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/normalizer_extension.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/pos_info_provider.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/quotient/quotient.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/replace_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/scope_pos_info_provider.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/standard_kernel.h\n"
},
{
"file": " /opt/local/include/lean_ext/kernel/type_checker.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/abstract_context_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/abstract_parser.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/ac_match.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/aliases.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/annotation.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/app_builder.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/ast_exporter.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/attribute_manager.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/aux_definition.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/aux_recursors.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/bin_app.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/cache_helper.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/check.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/choice.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/class.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/comp_val.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/comp_irrelevant.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/compiler_step_visitor.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/cse.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/elim_recursors.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/elim_unused_lets.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/erase_irrelevant.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/eta_expansion.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/extract_values.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/inliner.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/lambda_lifting.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/nat_value.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/preprocess.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/procedure.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/rec_fn_macro.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/reduce_arity.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/simp_inductive.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/compiler/vm_compiler.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/congr_lemma.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constants.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/brec_on.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/cases_on.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/constructor.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/drec.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/has_sizeof.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/injective.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/no_confusion.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/projection.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/rec_on.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/constructions/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/context_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/deep_copy.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/defeq_canonizer.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/delayed_abstraction.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/discr_tree.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/documentation.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/elab_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/compiler.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/elim_match.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/equations.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/pack_domain.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/pack_mutual.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/structural_rec.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/unbounded_rec.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/equations_compiler/wf_rec.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/eval_helper.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/explicit.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/export.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/export_decl.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_address.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_lt.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_pair.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_pair_maps.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/expr_unsigned_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/feature_search.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/fingerprint.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/fun_info.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/handle.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/head_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/idx_metavar.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/add_decl.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/basic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/compiler.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/ginductive.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/ginductive_decl.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/mutual.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/nested.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inductive_compiler/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/inverse.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/io_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/io_state_stream.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/kernel_serializer.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/library_task_builder.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/local_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/local_instances.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/locals.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/max_sharing.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/message_builder.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/messages.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/metavar_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/metavar_util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/module_mgr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/mt_task_queue.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/native_compiler/cpp_compiler.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/noncomputable.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/normalize.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/num.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/parray.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/pattern_attribute.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/persistent_context_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/phash_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/phashtable.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/pipe.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/placeholder.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/pp_options.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/predict/predict.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/print.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/private.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/process.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/profiling.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/projection.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/protected.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/quote.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/reducible.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/relation_manager.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/replace_visitor.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/replace_visitor_with_tc.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/scoped_ext.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/shared_environment.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/sorry.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/st_task_queue.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/string.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/ac_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/algebraic_normalizer.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/app_builder_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/apply_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/assert_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/backward/backward_chaining.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/backward/backward_lemmas.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/backward/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/cases_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/change_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/clear_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/congr_lemma_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/destruct_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/dsimplify.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/elaborate.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/elaborator_exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/eqn_lemmas.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/eval.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/exact_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/fun_info_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/generalize_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/gexpr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/hole_command.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/hsubstitution.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/induction_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/intro_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/kabstract.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/match_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/occurrences.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/revert_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/rewrite_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/simp_lemmas.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/simp_result.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/simp_util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/simplify.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/congruence_closure.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/congruence_tactics.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/ematch.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/hinst_lemmas.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/smt_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/theory_ac.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/smt/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/subst_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/tactic_evaluator.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/tactic_log.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/tactic_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/unfold_tactic.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/user_attribute.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/vm_local_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/vm_monitor.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tactic/vm_type_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/time_task.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/tlean_exporter.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/trace.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/type_context.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/typed_expr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/unfold_macros.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/unification_hint.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/unique_id.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/update_declaration.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/user_recursors.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/util.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/interaction_state.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/interaction_state_imp.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/optimize.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_array.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_aux.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_declaration.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_eformat.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_environment.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_exceptional.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_expr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_float.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_format.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_int.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_io.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_json.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_level.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_list.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_module_info.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_name.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_nat.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_option.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_options.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_ordering.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_override.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_parser.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_pexpr.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_pos_info.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_rb_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_string.h\n"
},
{
"file": " /opt/local/include/lean_ext/library/vm/vm_task.h\n"
},
{
"file": " /opt/local/include/lean_ext/shell/emscripten.h\n"
},
{
"file": " /opt/local/include/lean_ext/shell/lean_js.h\n"
},
{
"file": " /opt/local/include/lean_ext/shell/server.h\n"
},
{
"file": " /opt/local/include/lean_ext/shell/simple_pos_info_provider.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/ascii.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/bit_tricks.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/bitap_fuzzy_search.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/buffer.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/cancellable.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/compiler_hints.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/debug.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/escaped.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/exception_with_pos.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/extensible_object.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/file_lock.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/flet.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/freset.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/fresh_name.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/hash.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/int64.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/interrupt.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/lbool.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/lean_json.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/lean_path.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/line_endings.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/list.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/list_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/log_tree.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/lru_cache.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/macros.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/memory.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/memory_pool.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/message_definitions.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_generator.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_hash_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_hash_set.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/name_set.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/null_ostream.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/numerics/mpq.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/numerics/mpz.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/object_serializer.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/optional.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/output_channel.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/pair.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/parser_exception.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/path.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/priority_queue.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/rb_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/rb_multi_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/rb_tree.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/rc.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/safe_arith.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/scoped_map.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/scoped_set.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sequence.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/serializer.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/format.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/init_module.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/option_declarations.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/options.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/sexpr.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sexpr/sexpr_fn.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/shared_mutex.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/small_object_allocator.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/sstream.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/stackinfo.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/subscripted_name_set.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/task.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/task_builder.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/test.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/thread.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/timeit.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/timer.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/trie.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/unit.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/unlock_guard.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/utf8.h\n"
},
{
"file": " /opt/local/include/lean_ext/util/worker_queue.h\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/README.md\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg.toml\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/git.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/git.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/lean_version.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/lean_version.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/main.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/main.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/manifest.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/manifest.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/proc.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/proc.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/resolve.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/resolve.olean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/toml.lean\n"
},
{
"file": " /opt/local/lib/lean/leanpkg/leanpkg/toml.olean\n"
},
{
"file": " /opt/local/lib/lean/library/data/buffer.lean\n"
},
{
"file": " /opt/local/lib/lean/library/data/buffer.olean\n"
},
{
"file": " /opt/local/lib/lean/library/data/buffer/parser.lean\n"
},
{
"file": " /opt/local/lib/lean/library/data/buffer/parser.olean\n"
},
{
"file": " /opt/local/lib/lean/library/data/dlist.lean\n"
},
{
"file": " /opt/local/lib/lean/library/data/dlist.olean\n"
},
{
"file": " /opt/local/lib/lean/library/data/vector.lean\n"
},
{
"file": " /opt/local/lib/lean/library/data/vector.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/classes.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/classes.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/functions.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/functions.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/order.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/algebra/order.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/cc_lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/cc_lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/classical.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/classical.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/coe.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/coe.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/alternative.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/alternative.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/applicative.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/applicative.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/combinators.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/combinators.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/except.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/except.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/functor.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/functor.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/id.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/id.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/lawful.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/lawful.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/lift.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/lift.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/monad.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/monad.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/monad_fail.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/monad_fail.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/option.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/option.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/reader.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/reader.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/state.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/control/state.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/core.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/core.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/slice.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/array/slice.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/bool/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/classes.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/classes.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/char/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/ops.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/fin/ops.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/bitwise.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/bitwise.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/comp_lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/comp_lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/order.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/int/order.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/instances.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/instances.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/qsort.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/list/qsort.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/bitwise.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/bitwise.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/div.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/div.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/gcd.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/gcd.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/nat/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/option/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/option/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/option/instances.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/option/instances.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/lemmas.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/ordering/lemmas.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/prod.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/prod.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/punit.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/punit.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/quot.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/quot.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/repr.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/repr.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/set.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/set.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/setoid.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/setoid.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/lex.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sigma/lex.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/ops.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/string/ops.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/instances.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/subtype/instances.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/instances.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/sum/instances.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/to_string.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/to_string.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/ops.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/data/unsigned/ops.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/function.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/function.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/funext.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/funext.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/init.md\n"
},
{
"file": " /opt/local/lib/lean/library/init/ite_simp.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/ite_simp.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/logic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/logic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/ac_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/ac_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/async_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/async_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/attribute.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/attribute.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/backward.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/backward.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/case_tag.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/case_tag.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/comp_value_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/comp_value_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/congr_lemma.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/congr_lemma.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/congr_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/congr_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/constructor_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/constructor_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/contradiction_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/contradiction_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/conv.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/conv.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/interactive.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/converter/interactive.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/decl_cmds.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/decl_cmds.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/declaration.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/declaration.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/derive.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/derive.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/environment.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/environment.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/exceptional.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/exceptional.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/expr.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/expr.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/expr_address.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/expr_address.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/feature_search.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/feature_search.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/float.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/float.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/format.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/format.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/fun_info.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/fun_info.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/has_reflect.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/has_reflect.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/hole_command.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/hole_command.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/injection_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/injection_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/instance_cache.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/instance_cache.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interaction_monad.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interaction_monad.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interactive.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interactive.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interactive_base.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/interactive_base.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/json.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/json.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/lean/parser.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/lean/parser.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/level.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/level.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/local_context.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/local_context.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/match_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/match_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_dec_eq_instance.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_dec_eq_instance.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_has_reflect_instance.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_has_reflect_instance.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_has_sizeof_instance.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_has_sizeof_instance.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_inhabited_instance.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/mk_inhabited_instance.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/module_info.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/module_info.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/name.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/name.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/occurrences.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/occurrences.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/options.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/options.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/pexpr.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/pexpr.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rb_map.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rb_map.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rec_util.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rec_util.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/ref.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/ref.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/relation_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/relation_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rewrite_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/rewrite_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/set_get_option_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/set_get_option_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/simp_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/simp_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/congruence_closure.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/congruence_closure.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/ematch.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/ematch.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/interactive.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/interactive.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/rsimp.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/rsimp.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/smt_tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/smt/smt_tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/tactic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/tactic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/tagged_format.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/tagged_format.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/task.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/task.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/type_context.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/type_context.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/vm.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/vm.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/well_founded_tactics.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/well_founded_tactics.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/basic.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/basic.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/html_cmd.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/html_cmd.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/interactive_expr.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/interactive_expr.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/replace_save_info.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/replace_save_info.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/tactic_component.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/meta/widget/tactic_component.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/propext.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/propext.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/util.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/util.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/version.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/version.olean\n"
},
{
"file": " /opt/local/lib/lean/library/init/wf.lean\n"
},
{
"file": " /opt/local/lib/lean/library/init/wf.olean\n"
},
{
"file": " /opt/local/lib/lean/library/library.md\n"
},
{
"file": " /opt/local/lib/lean/library/smt/arith.lean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/arith.olean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/array.lean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/array.olean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/prove.lean\n"
},
{
"file": " /opt/local/lib/lean/library/smt/prove.olean\n"
},
{
"file": " /opt/local/lib/lean/library/system/io.lean\n"
},
{
"file": " /opt/local/lib/lean/library/system/io.olean\n"
},
{
"file": " /opt/local/lib/lean/library/system/io_interface.lean\n"
},
{
"file": " /opt/local/lib/lean/library/system/io_interface.olean\n"
},
{
"file": " /opt/local/lib/lean/library/system/random.lean\n"
},
{
"file": " /opt/local/lib/lean/library/system/random.olean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/cli.lean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/cli.olean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/default.lean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/default.olean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/util.lean\n"
},
{
"file": " /opt/local/lib/lean/library/tools/debugger/util.olean\n"
}
]
},
{
"build_id": 152739,
"files": []
},
{
"build_id": 152740,
"files": []
},
{
"build_id": 152741,
"files": []
},
{
"build_id": 152742,
"files": []
},
{
"build_id": 152743,
"files": []
},
{
"build_id": 177301,
"files": []
},
{
"build_id": 177302,
"files": []
},
{
"build_id": 177303,
"files": []
},
{
"build_id": 177304,
"files": []
},
{
"build_id": 177305,
"files": []
},
{
"build_id": 177306,
"files": []
},
{
"build_id": 129744,
"files": []
},
{
"build_id": 129745,
"files": []
},
{
"build_id": 129746,
"files": []
},
{
"build_id": 129747,
"files": []
},
{
"build_id": 139250,
"files": []
}
]
}