| changeset 3184 | 4e0bbfb113d5 |
| parent 3179 | c8263805dede |
| child 3289 | 8c947c178f29 |
| 3183:537f7281d42c | 3184:4e0bbfb113d5 |
|---|---|
19 # Note: ML system identifier appended automatically! |
19 # Note: ML system identifier appended automatically! |
20 |
20 |
21 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
21 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
22 #ISABELLE_OUTPUT=somewhere-else |
22 #ISABELLE_OUTPUT=somewhere-else |
23 |
23 |
24 #DEFAULT_LOGIC=ZF |
24 #ISABELLE_LOGIC=ZF |
25 |
25 |
26 |
26 |
27 ### |
27 ### |
28 ### Interfaces |
28 ### Interfaces |
29 ### |
29 ### |