equal
deleted
inserted
replaced
1507 |
1507 |
1508 $(LOG)/HOL-Quotient_Examples.gz: $(OUT)/HOL \ |
1508 $(LOG)/HOL-Quotient_Examples.gz: $(OUT)/HOL \ |
1509 Quotient_Examples/DList.thy \ |
1509 Quotient_Examples/DList.thy \ |
1510 Quotient_Examples/FSet.thy \ |
1510 Quotient_Examples/FSet.thy \ |
1511 Quotient_Examples/Quotient_Int.thy Quotient_Examples/Quotient_Message.thy \ |
1511 Quotient_Examples/Quotient_Int.thy Quotient_Examples/Quotient_Message.thy \ |
|
1512 Quotient_Examples/Lift_FSet.thy \ |
1512 Quotient_Examples/Lift_Set.thy Quotient_Examples/Lift_RBT.thy \ |
1513 Quotient_Examples/Lift_Set.thy Quotient_Examples/Lift_RBT.thy \ |
1513 Quotient_Examples/Lift_Fun.thy Quotient_Examples/Lift_DList.thy |
1514 Quotient_Examples/Lift_Fun.thy Quotient_Examples/Lift_DList.thy |
1514 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples |
1515 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples |
1515 |
1516 |
1516 |
1517 |