equal
deleted
inserted
replaced
1469 |
1469 |
1470 HOLCF-Library: HOLCF $(LOG)/HOLCF-Library.gz |
1470 HOLCF-Library: HOLCF $(LOG)/HOLCF-Library.gz |
1471 |
1471 |
1472 $(LOG)/HOLCF-Library.gz: $(OUT)/HOLCF \ |
1472 $(LOG)/HOLCF-Library.gz: $(OUT)/HOLCF \ |
1473 HOLCF/Library/Defl_Bifinite.thy \ |
1473 HOLCF/Library/Defl_Bifinite.thy \ |
|
1474 HOLCF/Library/Bool_Discrete.thy \ |
|
1475 HOLCF/Library/Char_Discrete.thy \ |
|
1476 HOLCF/Library/HOL_Cpo.thy \ |
|
1477 HOLCF/Library/Int_Discrete.thy \ |
1474 HOLCF/Library/List_Cpo.thy \ |
1478 HOLCF/Library/List_Cpo.thy \ |
|
1479 HOLCF/Library/List_Predomain.thy \ |
|
1480 HOLCF/Library/Nat_Discrete.thy \ |
|
1481 HOLCF/Library/Option_Cpo.thy \ |
1475 HOLCF/Library/Stream.thy \ |
1482 HOLCF/Library/Stream.thy \ |
1476 HOLCF/Library/Sum_Cpo.thy \ |
1483 HOLCF/Library/Sum_Cpo.thy \ |
1477 HOLCF/Library/HOLCF_Library.thy \ |
1484 HOLCF/Library/HOLCF_Library.thy \ |
1478 HOLCF/Library/ROOT.ML |
1485 HOLCF/Library/ROOT.ML |
1479 @$(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library |
1486 @$(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library |