author | wenzelm |
Fri, 23 Aug 2013 15:04:00 +0200 | |
changeset 53166 | 1266b6208a5b |
parent 53165 | 787d04a7c2d5 |
child 53167 | 4e7ddd76e632 |
src/Tools/ROOT | file | annotate | diff | comparison | revisions |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/ROOT Fri Aug 23 15:04:00 2013 +0200 @@ -0,0 +1,9 @@ +session WWW_Find in WWW_Find = Pure + + theories [condition = ISABELLE_POLYML] WWW_Find + +session Spec_Check in Spec_Check = Pure + + theories + Spec_Check + theories [condition = ISABELLE_POLYML] + Examples +