author | wenzelm |
Sat, 05 Apr 2014 15:03:40 +0200 | |
changeset 56421 | 1ffd7eaa778b |
parent 56276 | 9e2d5e3debd3 |
child 56738 | 13b0fc4ece42 |
permissions | -rw-r--r-- |
53166 | 1 |
session WWW_Find in WWW_Find = Pure + |
2 |
theories [condition = ISABELLE_POLYML] WWW_Find |
|
3 |
||
4 |
session Spec_Check in Spec_Check = Pure + |
|
5 |
theories |
|
6 |
Spec_Check |
|
7 |
theories [condition = ISABELLE_POLYML] |
|
8 |
Examples |
|
9 |
||
56276 | 10 |
session SML in SML = Pure + |
11 |
options [condition = ISABELLE_POLYML] |
|
12 |
theories |
|
13 |
Examples |
|
14 |