1824 $(LOG)/HOL-IMP.gz $(LOG)/HOL-IMPP.gz $(LOG)/HOL-IOA.gz \ |
1824 $(LOG)/HOL-IMP.gz $(LOG)/HOL-IMPP.gz $(LOG)/HOL-IOA.gz \ |
1825 $(LOG)/HOL-Imperative_HOL.gz $(LOG)/HOL-Import.gz \ |
1825 $(LOG)/HOL-Imperative_HOL.gz $(LOG)/HOL-Import.gz \ |
1826 $(LOG)/HOL-Induct.gz $(LOG)/HOL-Isar_Examples.gz \ |
1826 $(LOG)/HOL-Induct.gz $(LOG)/HOL-Isar_Examples.gz \ |
1827 $(LOG)/HOL-Lattice $(LOG)/HOL-Lattice.gz \ |
1827 $(LOG)/HOL-Lattice $(LOG)/HOL-Lattice.gz \ |
1828 $(LOG)/HOL-Lex.gz $(LOG)/HOL-Library.gz \ |
1828 $(LOG)/HOL-Lex.gz $(LOG)/HOL-Library.gz \ |
|
1829 $(LOG)/HOL-Library-Codegenerator_Test.gz \ |
1829 $(LOG)/HOL-Main.gz $(LOG)/HOL-Matrix \ |
1830 $(LOG)/HOL-Main.gz $(LOG)/HOL-Matrix \ |
1830 $(LOG)/HOL-Matrix.gz $(LOG)/HOL-Metis_Examples.gz \ |
1831 $(LOG)/HOL-Matrix.gz $(LOG)/HOL-Metis_Examples.gz \ |
1831 $(LOG)/HOL-MicroJava.gz $(LOG)/HOL-Mirabelle.gz \ |
1832 $(LOG)/HOL-MicroJava.gz $(LOG)/HOL-Mirabelle.gz \ |
1832 $(LOG)/HOL-Multivariate_Analysis.gz \ |
1833 $(LOG)/HOL-Multivariate_Analysis.gz \ |
1833 $(LOG)/HOL-NSA-Examples.gz $(LOG)/HOL-NSA.gz \ |
1834 $(LOG)/HOL-Mutabelle.gz $(LOG)/HOL-NSA-Examples.gz \ |
1834 $(LOG)/HOL-NanoJava.gz $(LOG)/HOL-Nitpick_Examples.gz \ |
1835 $(LOG)/HOL-NSA.gz $(LOG)/HOL-NanoJava.gz \ |
|
1836 $(LOG)/HOL-Nitpick_Examples.gz \ |
1835 $(LOG)/HOL-Nominal-Examples.gz $(LOG)/HOL-Nominal.gz \ |
1837 $(LOG)/HOL-Nominal-Examples.gz $(LOG)/HOL-Nominal.gz \ |
1836 $(LOG)/HOL-Number_Theory.gz \ |
1838 $(LOG)/HOL-Number_Theory.gz \ |
1837 $(LOG)/HOL-Old_Number_Theory.gz $(LOG)/HOL-Plain.gz \ |
1839 $(LOG)/HOL-Old_Number_Theory.gz $(LOG)/HOL-Plain.gz \ |
1838 $(LOG)/HOL-Predicate_Compile_Examples.gz \ |
1840 $(LOG)/HOL-Predicate_Compile_Examples.gz \ |
1839 $(LOG)/HOL-Probability.gz $(LOG)/HOL-Prolog.gz \ |
1841 $(LOG)/HOL-Probability.gz $(LOG)/HOL-Prolog.gz \ |
1840 $(LOG)/HOL-Proofs.gz $(LOG)/HOL-Proofs-ex.gz \ |
1842 $(LOG)/HOL-Proofs.gz $(LOG)/HOL-Proofs-ex.gz \ |
1841 $(LOG)/HOL-Proofs-Extraction.gz \ |
1843 $(LOG)/HOL-Proofs-Extraction.gz \ |
1842 $(LOG)/HOL-Proofs-Lambda.gz $(LOG)/HOL-SET_Protocol.gz \ |
1844 $(LOG)/HOL-Proofs-Lambda.gz \ |
|
1845 $(LOG)/HOL-Quickcheck_Examples.gz \ |
|
1846 $(LOG)/HOL-Quotient_Examples.gz \ |
|
1847 $(LOG)/HOL-SET_Protocol.gz \ |
1843 $(LOG)/HOL-Word-SMT_Examples.gz $(LOG)/HOL-SPARK.gz \ |
1848 $(LOG)/HOL-Word-SMT_Examples.gz $(LOG)/HOL-SPARK.gz \ |
1844 $(LOG)/HOL-SPARK-Examples.gz \ |
1849 $(LOG)/HOL-SPARK-Examples.gz \ |
1845 $(LOG)/HOL-SPARK-Manual.gz $(LOG)/HOL-Statespace.gz \ |
1850 $(LOG)/HOL-SPARK-Manual.gz $(LOG)/HOL-Statespace.gz \ |
1846 $(LOG)/HOL-UNITY.gz $(LOG)/HOL-Unix.gz \ |
1851 $(LOG)/HOL-TPTP.gz $(LOG)/HOL-UNITY.gz \ |
1847 $(LOG)/HOL-Word-Examples.gz $(LOG)/HOL-Word.gz \ |
1852 $(LOG)/HOL-Unix.gz $(LOG)/HOL-Word-Examples.gz \ |
1848 $(LOG)/HOL-ZF.gz $(LOG)/HOL-ex.gz $(LOG)/HOL.gz \ |
1853 $(LOG)/HOL-Word.gz $(LOG)/HOL-ZF.gz $(LOG)/HOL-ex.gz \ |
1849 $(LOG)/HOL4.gz $(LOG)/TLA-Buffer.gz $(LOG)/TLA-Inc.gz \ |
1854 $(LOG)/HOL.gz $(LOG)/HOL4.gz $(LOG)/TLA-Buffer.gz \ |
1850 $(LOG)/TLA-Memory.gz $(LOG)/TLA.gz $(OUT)/HOL \ |
1855 $(LOG)/TLA-Inc.gz $(LOG)/TLA-Memory.gz $(LOG)/TLA.gz \ |
1851 $(OUT)/HOL-Algebra $(OUT)/HOL-Base $(OUT)/HOL-Boogie \ |
1856 $(OUT)/HOL $(OUT)/HOL-Algebra $(OUT)/HOL-Base \ |
1852 $(OUT)/HOL-IMP $(OUT)/HOL-Main \ |
1857 $(OUT)/HOL-Boogie $(OUT)/HOL-IMP $(OUT)/HOL-Library \ |
1853 $(OUT)/HOL-Multivariate_Analysis $(OUT)/HOL-NSA \ |
1858 $(OUT)/HOL-Main $(OUT)/HOL-Multivariate_Analysis \ |
1854 $(OUT)/HOL-Nominal $(OUT)/HOL-Plain \ |
1859 $(OUT)/HOL-NSA $(OUT)/HOL-Nominal $(OUT)/HOL-Plain \ |
1855 $(OUT)/HOL-Probability $(OUT)/HOL-Proofs \ |
1860 $(OUT)/HOL-Probability $(OUT)/HOL-Proofs \ |
1856 $(OUT)/HOL-SPARK $(OUT)/HOL-Word $(OUT)/HOL4 \ |
1861 $(OUT)/HOL-SPARK $(OUT)/HOL-Word $(OUT)/HOL4 \ |
1857 $(OUT)/TLA $(OUT)/HOLCF $(LOG)/HOLCF.gz \ |
1862 $(OUT)/TLA $(OUT)/HOLCF $(LOG)/HOLCF.gz \ |
1858 $(LOG)/HOLCF-IMP.gz $(LOG)/HOLCF-ex.gz \ |
1863 $(LOG)/HOLCF-IMP.gz $(LOG)/HOLCF-ex.gz \ |
1859 $(LOG)/HOLCF-FOCUS.gz $(OUT)/IOA $(LOG)/IOA.gz \ |
1864 $(LOG)/HOLCF-FOCUS.gz $(OUT)/IOA $(LOG)/IOA.gz \ |