https://docs.abella-prover.org/2.0.8/weekly0.5https://docs.abella-prover.org/2.0.8/advanced-walkthrough/weekly0.5https://docs.abella-prover.org/2.0.8/changelog/weekly0.5https://docs.abella-prover.org/2.0.8/examples/weekly0.5https://docs.abella-prover.org/2.0.8/installation/weekly0.5https://docs.abella-prover.org/2.0.8/language/files/weekly0.5https://docs.abella-prover.org/2.0.8/language/reasoning-logic/weekly0.5https://docs.abella-prover.org/2.0.8/language/schematic-polymorphism/weekly0.5https://docs.abella-prover.org/2.0.8/language/specification-logic/weekly0.5https://docs.abella-prover.org/2.0.8/language/top-level/weekly0.5https://docs.abella-prover.org/2.0.8/reference/weekly0.5https://docs.abella-prover.org/2.0.8/reference/commands/weekly0.5https://docs.abella-prover.org/2.0.8/reference/tactics/weekly0.5https://docs.abella-prover.org/2.0.8/tools/weekly0.5https://docs.abella-prover.org/2.0.8/tools/abella_dep/weekly0.5https://docs.abella-prover.org/2.0.8/tools/abella_doc/weekly0.5https://docs.abella-prover.org/2.0.8/tools/abella/weekly0.5https://docs.abella-prover.org/2.0.8/updating-scripts/weekly0.5https://docs.abella-prover.org/2.0.8/walkthrough/weekly0.5https://docs.abella-prover.org/2.1.0-dev/weekly0.5https://docs.abella-prover.org/2.1.0-dev/advanced-walkthrough/weekly0.5https://docs.abella-prover.org/2.1.0-dev/changelog/weekly0.5https://docs.abella-prover.org/2.1.0-dev/examples/weekly0.5https://docs.abella-prover.org/2.1.0-dev/installation/weekly0.5https://docs.abella-prover.org/2.1.0-dev/language/files/weekly0.5https://docs.abella-prover.org/2.1.0-dev/language/modules/weekly0.5https://docs.abella-prover.org/2.1.0-dev/language/reasoning-logic/weekly0.5https://docs.abella-prover.org/2.1.0-dev/language/schematic-polymorphism/weekly0.5https://docs.abella-prover.org/2.1.0-dev/language/specification-logic/weekly0.5https://docs.abella-prover.org/2.1.0-dev/language/top-level/weekly0.5https://docs.abella-prover.org/2.1.0-dev/reference/weekly0.5https://docs.abella-prover.org/2.1.0-dev/reference/commands/weekly0.5https://docs.abella-prover.org/2.1.0-dev/reference/tactics/weekly0.5https://docs.abella-prover.org/2.1.0-dev/tools/weekly0.5https://docs.abella-prover.org/2.1.0-dev/tools/abella_dep/weekly0.5https://docs.abella-prover.org/2.1.0-dev/tools/abella_doc/weekly0.5https://docs.abella-prover.org/2.1.0-dev/tools/abella/weekly0.5https://docs.abella-prover.org/2.1.0-dev/updating-scripts/weekly0.5https://docs.abella-prover.org/2.1.0-dev/walkthrough/weekly0.5