lem
===
/usr/lib/.build-id
/usr/lib/.build-id/9c
/usr/lib64/ocaml/lem
/usr/lib64/ocaml/lem_num
/usr/lib64/ocaml/lem_zarith
/usr/share/doc/lem
/usr/share/lem
/usr/share/lem/coq-lib
/usr/share/lem/hol-lib
/usr/share/lem/isabelle-lib
/usr/share/lem/library
/usr/share/licenses/lem

/usr/bin/lem
/usr/lib/.build-id/9c/5fa3044a350f9c5ea7d5c9c7ffaf0add23565e
/usr/lib64/ocaml/lem/META
/usr/lib64/ocaml/lem_num/META
/usr/lib64/ocaml/lem_num/big_int_impl.cmi
/usr/lib64/ocaml/lem_num/bit.cmi
/usr/lib64/ocaml/lem_num/either.cmi
/usr/lib64/ocaml/lem_num/extract.cma
/usr/lib64/ocaml/lem_num/lem.cmi
/usr/lib64/ocaml/lem_num/lem_assert_extra.cmi
/usr/lib64/ocaml/lem_num/lem_basic_classes.cmi
/usr/lib64/ocaml/lem_num/lem_bool.cmi
/usr/lib64/ocaml/lem_num/lem_debug.cmi
/usr/lib64/ocaml/lem_num/lem_either.cmi
/usr/lib64/ocaml/lem_num/lem_function.cmi
/usr/lib64/ocaml/lem_num/lem_function_extra.cmi
/usr/lib64/ocaml/lem_num/lem_list.cmi
/usr/lib64/ocaml/lem_num/lem_list_extra.cmi
/usr/lib64/ocaml/lem_num/lem_machine_word.cmi
/usr/lib64/ocaml/lem_num/lem_map.cmi
/usr/lib64/ocaml/lem_num/lem_map_extra.cmi
/usr/lib64/ocaml/lem_num/lem_maybe.cmi
/usr/lib64/ocaml/lem_num/lem_maybe_extra.cmi
/usr/lib64/ocaml/lem_num/lem_num.cmi
/usr/lib64/ocaml/lem_num/lem_num_extra.cmi
/usr/lib64/ocaml/lem_num/lem_pervasives.cmi
/usr/lib64/ocaml/lem_num/lem_pervasives_extra.cmi
/usr/lib64/ocaml/lem_num/lem_relation.cmi
/usr/lib64/ocaml/lem_num/lem_set.cmi
/usr/lib64/ocaml/lem_num/lem_set_extra.cmi
/usr/lib64/ocaml/lem_num/lem_set_helpers.cmi
/usr/lib64/ocaml/lem_num/lem_show.cmi
/usr/lib64/ocaml/lem_num/lem_show_extra.cmi
/usr/lib64/ocaml/lem_num/lem_sorting.cmi
/usr/lib64/ocaml/lem_num/lem_string.cmi
/usr/lib64/ocaml/lem_num/lem_string_extra.cmi
/usr/lib64/ocaml/lem_num/lem_tuple.cmi
/usr/lib64/ocaml/lem_num/lem_word.cmi
/usr/lib64/ocaml/lem_num/nat_big_num.cmi
/usr/lib64/ocaml/lem_num/nat_num.cmi
/usr/lib64/ocaml/lem_num/pmap.cmi
/usr/lib64/ocaml/lem_num/pset.cmi
/usr/lib64/ocaml/lem_num/rational.cmi
/usr/lib64/ocaml/lem_num/rational_impl.cmi
/usr/lib64/ocaml/lem_num/vector.cmi
/usr/lib64/ocaml/lem_num/xstring.cmi
/usr/lib64/ocaml/lem_zarith/META
/usr/lib64/ocaml/lem_zarith/big_int_impl.cmi
/usr/lib64/ocaml/lem_zarith/bit.cmi
/usr/lib64/ocaml/lem_zarith/either.cmi
/usr/lib64/ocaml/lem_zarith/extract.cma
/usr/lib64/ocaml/lem_zarith/lem.cmi
/usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_basic_classes.cmi
/usr/lib64/ocaml/lem_zarith/lem_bool.cmi
/usr/lib64/ocaml/lem_zarith/lem_debug.cmi
/usr/lib64/ocaml/lem_zarith/lem_either.cmi
/usr/lib64/ocaml/lem_zarith/lem_function.cmi
/usr/lib64/ocaml/lem_zarith/lem_function_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_list.cmi
/usr/lib64/ocaml/lem_zarith/lem_list_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_machine_word.cmi
/usr/lib64/ocaml/lem_zarith/lem_map.cmi
/usr/lib64/ocaml/lem_zarith/lem_map_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_maybe.cmi
/usr/lib64/ocaml/lem_zarith/lem_maybe_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_num.cmi
/usr/lib64/ocaml/lem_zarith/lem_num_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_pervasives.cmi
/usr/lib64/ocaml/lem_zarith/lem_pervasives_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_relation.cmi
/usr/lib64/ocaml/lem_zarith/lem_set.cmi
/usr/lib64/ocaml/lem_zarith/lem_set_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_set_helpers.cmi
/usr/lib64/ocaml/lem_zarith/lem_show.cmi
/usr/lib64/ocaml/lem_zarith/lem_show_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_sorting.cmi
/usr/lib64/ocaml/lem_zarith/lem_string.cmi
/usr/lib64/ocaml/lem_zarith/lem_string_extra.cmi
/usr/lib64/ocaml/lem_zarith/lem_tuple.cmi
/usr/lib64/ocaml/lem_zarith/lem_word.cmi
/usr/lib64/ocaml/lem_zarith/nat_big_num.cmi
/usr/lib64/ocaml/lem_zarith/nat_num.cmi
/usr/lib64/ocaml/lem_zarith/pmap.cmi
/usr/lib64/ocaml/lem_zarith/pset.cmi
/usr/lib64/ocaml/lem_zarith/rational.cmi
/usr/lib64/ocaml/lem_zarith/rational_impl.cmi
/usr/lib64/ocaml/lem_zarith/vector.cmi
/usr/lib64/ocaml/lem_zarith/xstring.cmi
/usr/share/doc/lem/README.md
/usr/share/lem/coq-lib/coq_makefile.in
/usr/share/lem/coq-lib/coqharness.v
/usr/share/lem/coq-lib/lem_assert_extra.v
/usr/share/lem/coq-lib/lem_assert_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_basic_classes.v
/usr/share/lem/coq-lib/lem_basic_classes_auxiliary.v
/usr/share/lem/coq-lib/lem_bool.v
/usr/share/lem/coq-lib/lem_bool_auxiliary.v
/usr/share/lem/coq-lib/lem_debug.v
/usr/share/lem/coq-lib/lem_debug_auxiliary.v
/usr/share/lem/coq-lib/lem_either.v
/usr/share/lem/coq-lib/lem_either_auxiliary.v
/usr/share/lem/coq-lib/lem_function.v
/usr/share/lem/coq-lib/lem_function_auxiliary.v
/usr/share/lem/coq-lib/lem_function_extra.v
/usr/share/lem/coq-lib/lem_function_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_list.v
/usr/share/lem/coq-lib/lem_list_auxiliary.v
/usr/share/lem/coq-lib/lem_list_extra.v
/usr/share/lem/coq-lib/lem_list_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_machine_word.v
/usr/share/lem/coq-lib/lem_machine_word_auxiliary.v
/usr/share/lem/coq-lib/lem_map.v
/usr/share/lem/coq-lib/lem_map_auxiliary.v
/usr/share/lem/coq-lib/lem_map_extra.v
/usr/share/lem/coq-lib/lem_map_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_maybe.v
/usr/share/lem/coq-lib/lem_maybe_auxiliary.v
/usr/share/lem/coq-lib/lem_maybe_extra.v
/usr/share/lem/coq-lib/lem_maybe_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_num.v
/usr/share/lem/coq-lib/lem_num_auxiliary.v
/usr/share/lem/coq-lib/lem_num_extra.v
/usr/share/lem/coq-lib/lem_num_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_pervasives.v
/usr/share/lem/coq-lib/lem_pervasives_auxiliary.v
/usr/share/lem/coq-lib/lem_pervasives_extra.v
/usr/share/lem/coq-lib/lem_pervasives_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_relation.v
/usr/share/lem/coq-lib/lem_relation_auxiliary.v
/usr/share/lem/coq-lib/lem_set.v
/usr/share/lem/coq-lib/lem_set_auxiliary.v
/usr/share/lem/coq-lib/lem_set_extra.v
/usr/share/lem/coq-lib/lem_set_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_set_helpers.v
/usr/share/lem/coq-lib/lem_set_helpers_auxiliary.v
/usr/share/lem/coq-lib/lem_show.v
/usr/share/lem/coq-lib/lem_show_auxiliary.v
/usr/share/lem/coq-lib/lem_show_extra.v
/usr/share/lem/coq-lib/lem_show_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_sorting.v
/usr/share/lem/coq-lib/lem_sorting_auxiliary.v
/usr/share/lem/coq-lib/lem_string.v
/usr/share/lem/coq-lib/lem_string_auxiliary.v
/usr/share/lem/coq-lib/lem_string_extra.v
/usr/share/lem/coq-lib/lem_string_extra_auxiliary.v
/usr/share/lem/coq-lib/lem_tuple.v
/usr/share/lem/coq-lib/lem_tuple_auxiliary.v
/usr/share/lem/coq-lib/lem_word.v
/usr/share/lem/coq-lib/lem_word_auxiliary.v
/usr/share/lem/hol-lib/Holmakefile
/usr/share/lem/hol-lib/lemLib.sml
/usr/share/lem/hol-lib/lemScript.sml
/usr/share/lem/hol-lib/lem_assert_extraScript.sml
/usr/share/lem/hol-lib/lem_basic_classesScript.sml
/usr/share/lem/hol-lib/lem_boolScript.sml
/usr/share/lem/hol-lib/lem_debugScript.sml
/usr/share/lem/hol-lib/lem_eitherScript.sml
/usr/share/lem/hol-lib/lem_functionScript.sml
/usr/share/lem/hol-lib/lem_function_extraScript.sml
/usr/share/lem/hol-lib/lem_listScript.sml
/usr/share/lem/hol-lib/lem_list_extraScript.sml
/usr/share/lem/hol-lib/lem_machine_wordScript.sml
/usr/share/lem/hol-lib/lem_mapScript.sml
/usr/share/lem/hol-lib/lem_map_extraScript.sml
/usr/share/lem/hol-lib/lem_maybeScript.sml
/usr/share/lem/hol-lib/lem_maybe_extraScript.sml
/usr/share/lem/hol-lib/lem_numScript.sml
/usr/share/lem/hol-lib/lem_num_extraScript.sml
/usr/share/lem/hol-lib/lem_pervasivesScript.sml
/usr/share/lem/hol-lib/lem_pervasives_extraScript.sml
/usr/share/lem/hol-lib/lem_relationScript.sml
/usr/share/lem/hol-lib/lem_setScript.sml
/usr/share/lem/hol-lib/lem_set_extraScript.sml
/usr/share/lem/hol-lib/lem_set_helpersScript.sml
/usr/share/lem/hol-lib/lem_showScript.sml
/usr/share/lem/hol-lib/lem_show_extraScript.sml
/usr/share/lem/hol-lib/lem_sortingScript.sml
/usr/share/lem/hol-lib/lem_stringScript.sml
/usr/share/lem/hol-lib/lem_string_extraScript.sml
/usr/share/lem/hol-lib/lem_tupleScript.sml
/usr/share/lem/hol-lib/lem_wordScript.sml
/usr/share/lem/isabelle-lib/Lem.thy
/usr/share/lem/isabelle-lib/LemExtraDefs.thy
/usr/share/lem/isabelle-lib/Lem_assert_extra.thy
/usr/share/lem/isabelle-lib/Lem_basic_classes.thy
/usr/share/lem/isabelle-lib/Lem_bool.thy
/usr/share/lem/isabelle-lib/Lem_debug.thy
/usr/share/lem/isabelle-lib/Lem_either.thy
/usr/share/lem/isabelle-lib/Lem_function.thy
/usr/share/lem/isabelle-lib/Lem_function_extra.thy
/usr/share/lem/isabelle-lib/Lem_list.thy
/usr/share/lem/isabelle-lib/Lem_list_extra.thy
/usr/share/lem/isabelle-lib/Lem_machine_word.thy
/usr/share/lem/isabelle-lib/Lem_map.thy
/usr/share/lem/isabelle-lib/Lem_map_extra.thy
/usr/share/lem/isabelle-lib/Lem_maybe.thy
/usr/share/lem/isabelle-lib/Lem_maybe_extra.thy
/usr/share/lem/isabelle-lib/Lem_num.thy
/usr/share/lem/isabelle-lib/Lem_num_extra.thy
/usr/share/lem/isabelle-lib/Lem_pervasives.thy
/usr/share/lem/isabelle-lib/Lem_pervasives_extra.thy
/usr/share/lem/isabelle-lib/Lem_relation.thy
/usr/share/lem/isabelle-lib/Lem_set.thy
/usr/share/lem/isabelle-lib/Lem_set_extra.thy
/usr/share/lem/isabelle-lib/Lem_set_helpers.thy
/usr/share/lem/isabelle-lib/Lem_show.thy
/usr/share/lem/isabelle-lib/Lem_show_extra.thy
/usr/share/lem/isabelle-lib/Lem_sorting.thy
/usr/share/lem/isabelle-lib/Lem_string.thy
/usr/share/lem/isabelle-lib/Lem_string_extra.thy
/usr/share/lem/isabelle-lib/Lem_tuple.thy
/usr/share/lem/isabelle-lib/Lem_word.thy
/usr/share/lem/isabelle-lib/ROOT
/usr/share/lem/library/assert_extra.lem
/usr/share/lem/library/basic_classes.lem
/usr/share/lem/library/bool.lem
/usr/share/lem/library/coq_constants
/usr/share/lem/library/debug.lem
/usr/share/lem/library/either.lem
/usr/share/lem/library/function.lem
/usr/share/lem/library/function_extra.lem
/usr/share/lem/library/hol_constants
/usr/share/lem/library/isabelle_constants
/usr/share/lem/library/list.lem
/usr/share/lem/library/list_extra.lem
/usr/share/lem/library/machine_word.lem
/usr/share/lem/library/map.lem
/usr/share/lem/library/map_extra.lem
/usr/share/lem/library/maybe.lem
/usr/share/lem/library/maybe_extra.lem
/usr/share/lem/library/num.lem
/usr/share/lem/library/num_extra.lem
/usr/share/lem/library/ocaml_constants
/usr/share/lem/library/pervasives.lem
/usr/share/lem/library/pervasives_extra.lem
/usr/share/lem/library/relation.lem
/usr/share/lem/library/set.lem
/usr/share/lem/library/set_extra.lem
/usr/share/lem/library/set_helpers.lem
/usr/share/lem/library/show.lem
/usr/share/lem/library/show_extra.lem
/usr/share/lem/library/sorting.lem
/usr/share/lem/library/string.lem
/usr/share/lem/library/string_extra.lem
/usr/share/lem/library/transform.lem
/usr/share/lem/library/tuple.lem
/usr/share/lem/library/word.lem
/usr/share/licenses/lem/LICENSE

lem-devel
=========

/usr/lib64/ocaml/lem_num/big_int_impl.cmx
/usr/lib64/ocaml/lem_num/big_int_impl.mli
/usr/lib64/ocaml/lem_num/bit.cmx
/usr/lib64/ocaml/lem_num/bit.mli
/usr/lib64/ocaml/lem_num/either.cmx
/usr/lib64/ocaml/lem_num/extract.a
/usr/lib64/ocaml/lem_num/extract.cmxa
/usr/lib64/ocaml/lem_num/lem.cmx
/usr/lib64/ocaml/lem_num/lem_assert_extra.cmx
/usr/lib64/ocaml/lem_num/lem_basic_classes.cmx
/usr/lib64/ocaml/lem_num/lem_bool.cmx
/usr/lib64/ocaml/lem_num/lem_debug.cmx
/usr/lib64/ocaml/lem_num/lem_either.cmx
/usr/lib64/ocaml/lem_num/lem_function.cmx
/usr/lib64/ocaml/lem_num/lem_function_extra.cmx
/usr/lib64/ocaml/lem_num/lem_list.cmx
/usr/lib64/ocaml/lem_num/lem_list_extra.cmx
/usr/lib64/ocaml/lem_num/lem_machine_word.cmx
/usr/lib64/ocaml/lem_num/lem_map.cmx
/usr/lib64/ocaml/lem_num/lem_map_extra.cmx
/usr/lib64/ocaml/lem_num/lem_maybe.cmx
/usr/lib64/ocaml/lem_num/lem_maybe_extra.cmx
/usr/lib64/ocaml/lem_num/lem_num.cmx
/usr/lib64/ocaml/lem_num/lem_num_extra.cmx
/usr/lib64/ocaml/lem_num/lem_pervasives.cmx
/usr/lib64/ocaml/lem_num/lem_pervasives_extra.cmx
/usr/lib64/ocaml/lem_num/lem_relation.cmx
/usr/lib64/ocaml/lem_num/lem_set.cmx
/usr/lib64/ocaml/lem_num/lem_set_extra.cmx
/usr/lib64/ocaml/lem_num/lem_set_helpers.cmx
/usr/lib64/ocaml/lem_num/lem_show.cmx
/usr/lib64/ocaml/lem_num/lem_show_extra.cmx
/usr/lib64/ocaml/lem_num/lem_sorting.cmx
/usr/lib64/ocaml/lem_num/lem_string.cmx
/usr/lib64/ocaml/lem_num/lem_string_extra.cmx
/usr/lib64/ocaml/lem_num/lem_tuple.cmx
/usr/lib64/ocaml/lem_num/lem_word.cmx
/usr/lib64/ocaml/lem_num/nat_big_num.cmx
/usr/lib64/ocaml/lem_num/nat_big_num.mli
/usr/lib64/ocaml/lem_num/nat_num.cmx
/usr/lib64/ocaml/lem_num/nat_num.mli
/usr/lib64/ocaml/lem_num/pmap.cmx
/usr/lib64/ocaml/lem_num/pmap.mli
/usr/lib64/ocaml/lem_num/pset.cmx
/usr/lib64/ocaml/lem_num/pset.mli
/usr/lib64/ocaml/lem_num/rational.cmx
/usr/lib64/ocaml/lem_num/rational.mli
/usr/lib64/ocaml/lem_num/rational_impl.cmx
/usr/lib64/ocaml/lem_num/rational_impl.mli
/usr/lib64/ocaml/lem_num/vector.cmx
/usr/lib64/ocaml/lem_num/vector.mli
/usr/lib64/ocaml/lem_num/xstring.cmx
/usr/lib64/ocaml/lem_num/xstring.mli
/usr/lib64/ocaml/lem_zarith/big_int_impl.cmx
/usr/lib64/ocaml/lem_zarith/big_int_impl.mli
/usr/lib64/ocaml/lem_zarith/bit.cmx
/usr/lib64/ocaml/lem_zarith/bit.mli
/usr/lib64/ocaml/lem_zarith/either.cmx
/usr/lib64/ocaml/lem_zarith/extract.a
/usr/lib64/ocaml/lem_zarith/extract.cmxa
/usr/lib64/ocaml/lem_zarith/lem.cmx
/usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_basic_classes.cmx
/usr/lib64/ocaml/lem_zarith/lem_bool.cmx
/usr/lib64/ocaml/lem_zarith/lem_debug.cmx
/usr/lib64/ocaml/lem_zarith/lem_either.cmx
/usr/lib64/ocaml/lem_zarith/lem_function.cmx
/usr/lib64/ocaml/lem_zarith/lem_function_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_list.cmx
/usr/lib64/ocaml/lem_zarith/lem_list_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_machine_word.cmx
/usr/lib64/ocaml/lem_zarith/lem_map.cmx
/usr/lib64/ocaml/lem_zarith/lem_map_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_maybe.cmx
/usr/lib64/ocaml/lem_zarith/lem_maybe_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_num.cmx
/usr/lib64/ocaml/lem_zarith/lem_num_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_pervasives.cmx
/usr/lib64/ocaml/lem_zarith/lem_pervasives_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_relation.cmx
/usr/lib64/ocaml/lem_zarith/lem_set.cmx
/usr/lib64/ocaml/lem_zarith/lem_set_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_set_helpers.cmx
/usr/lib64/ocaml/lem_zarith/lem_show.cmx
/usr/lib64/ocaml/lem_zarith/lem_show_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_sorting.cmx
/usr/lib64/ocaml/lem_zarith/lem_string.cmx
/usr/lib64/ocaml/lem_zarith/lem_string_extra.cmx
/usr/lib64/ocaml/lem_zarith/lem_tuple.cmx
/usr/lib64/ocaml/lem_zarith/lem_word.cmx
/usr/lib64/ocaml/lem_zarith/nat_big_num.cmx
/usr/lib64/ocaml/lem_zarith/nat_big_num.mli
/usr/lib64/ocaml/lem_zarith/nat_num.cmx
/usr/lib64/ocaml/lem_zarith/nat_num.mli
/usr/lib64/ocaml/lem_zarith/pmap.cmx
/usr/lib64/ocaml/lem_zarith/pmap.mli
/usr/lib64/ocaml/lem_zarith/pset.cmx
/usr/lib64/ocaml/lem_zarith/pset.mli
/usr/lib64/ocaml/lem_zarith/rational.cmx
/usr/lib64/ocaml/lem_zarith/rational.mli
/usr/lib64/ocaml/lem_zarith/rational_impl.cmx
/usr/lib64/ocaml/lem_zarith/rational_impl.mli
/usr/lib64/ocaml/lem_zarith/vector.cmx
/usr/lib64/ocaml/lem_zarith/vector.mli
/usr/lib64/ocaml/lem_zarith/xstring.cmx
/usr/lib64/ocaml/lem_zarith/xstring.mli