equal
deleted
inserted
replaced
4 # IsaMakefile for HOLCF |
4 # IsaMakefile for HOLCF |
5 # |
5 # |
6 |
6 |
7 #### Base system |
7 #### Base system |
8 |
8 |
9 OUT = $(ISABELLE_OUTPUT_DIR) |
9 OUT = $(ISABELLE_OUTPUT) |
10 |
10 |
11 THYS = Porder.thy Porder0.thy Pcpo.thy \ |
11 THYS = Porder.thy Porder0.thy Pcpo.thy \ |
12 Fun1.thy Fun2.thy Fun3.thy \ |
12 Fun1.thy Fun2.thy Fun3.thy \ |
13 Cfun1.thy Cfun2.thy Cfun3.thy Cont.thy \ |
13 Cfun1.thy Cfun2.thy Cfun3.thy Cont.thy \ |
14 Cprod1.thy Cprod2.thy Cprod3.thy \ |
14 Cprod1.thy Cprod2.thy Cprod3.thy \ |