changeset 3118 | 24dae6222579 |
parent 2968 | 8ba30b031f31 |
child 3178 | 97d2d09e61fe |
3117:74c1b51c1cd9 | 3118:24dae6222579 |
---|---|
13 |
13 |
14 ### |
14 ### |
15 ### Heap files |
15 ### Heap files |
16 ### |
16 ### |
17 |
17 |
18 # Note: ML system identifier appended automatically! |
|
19 |
|
18 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
20 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
21 #ISABELLE_OUTPUT=somewhere-else |
|
19 |
22 |
20 #DEFAULT_LOGIC=ZF |
23 #DEFAULT_LOGIC=ZF |
21 |
24 |
22 |
25 |
23 ### |
26 ### |