changeset 11390 | 735bf767833a |
parent 11389 | 55e2aef8909b |
child 11391 | e8638d07fdee |
--- a/src/Tools/8bit/doc/Set2x.thy Fri Jun 29 18:12:18 2001 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -consts - Ball :: "'a set ë ('a ë bool) ë bool" -syntax - "®Ball" :: "pttrn ë 'a set ë bool ë bool" ("(3!_Î_./ _)" 10) -translations - "ÂxÎA. P" == "Ball A (³x. P)" -defs - Ball_def "Ball A P Ú Â x. xÎA çè P x" -