| branch | decompose-isar |
| changeset 42082 | 2556b7865f9b |
| parent 42081 | b5a91fb4330c |
| child 42083 | 5d023316b727 |
| 42081:b5a91fb4330c | 42082:2556b7865f9b |
|---|---|
50 1 :: (2 :: (3 :: [])); (* list constructor "::"*) |
50 1 :: (2 :: (3 :: [])); (* list constructor "::"*) |
51 val l1 = 0 :: l; |
51 val l1 = 0 :: l; |
52 val fi :: _ = l1; |
52 val fi :: _ = l1; |
53 *} |
53 *} |
54 |
54 |
55 section {* 3 Defining functions *} |
|
56 text {* see src/Pure/library.ML *} |
|
57 |
|
58 end |
55 end |