| changeset 48281 | 6659c5913ebf |
| parent 48280 | 7d86239986c2 |
| child 48282 | 39bfb2844b9e |
--- a/doc-src/Codegen/Thy/examples/arbitrary.ML Tue Jul 17 22:34:29 2012 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -structure Codegen = -struct - -val arbitrary_option : 'a option = NONE; - -fun dummy_option [] = arbitrary_option - | dummy_option (x :: xs) = SOME x; - -end; (*struct Codegen*)