equal
deleted
inserted
replaced
526 ## HOL-ex |
526 ## HOL-ex |
527 |
527 |
528 HOL-ex: HOL $(LOG)/HOL-ex.gz |
528 HOL-ex: HOL $(LOG)/HOL-ex.gz |
529 |
529 |
530 $(LOG)/HOL-ex.gz: $(OUT)/HOL ex/AVL.ML ex/AVL.thy ex/Antiquote.thy \ |
530 $(LOG)/HOL-ex.gz: $(OUT)/HOL ex/AVL.ML ex/AVL.thy ex/Antiquote.thy \ |
531 ex/BT.thy ex/BinEx.thy ex/Group.ML ex/Group.thy \ |
531 ex/BT.thy ex/BinEx.thy ex/Group.ML ex/Group.thy ex/Higher_Order_Logic.thy \ |
532 ex/Hilbert_Classical.thy ex/InSort.ML ex/InSort.thy ex/IntRing.ML \ |
532 ex/Hilbert_Classical.thy ex/InSort.ML ex/InSort.thy ex/IntRing.ML \ |
533 ex/IntRing.thy ex/Lagrange.ML ex/Lagrange.thy ex/Locales.thy \ |
533 ex/IntRing.thy ex/Lagrange.ML ex/Lagrange.thy ex/Locales.thy \ |
534 ex/MT.ML ex/MT.thy ex/MonoidGroup.thy ex/Multiquote.thy \ |
534 ex/MT.ML ex/MT.thy ex/MonoidGroup.thy ex/Multiquote.thy \ |
535 ex/NatSum.thy ex/PER.thy ex/Primrec.thy ex/Puzzle.ML ex/Puzzle.thy \ |
535 ex/NatSum.thy ex/PER.thy ex/Primrec.thy ex/Puzzle.ML ex/Puzzle.thy \ |
536 ex/Qsort.ML ex/Qsort.thy ex/ROOT.ML ex/Recdefs.thy ex/Records.thy \ |
536 ex/Qsort.ML ex/Qsort.thy ex/ROOT.ML ex/Recdefs.thy ex/Records.thy \ |