12
13 @{ML_chunk [display,gray] intro_rules}
14
15 *}
16
17 text {*
18
19 @{ML_chunk [display,gray] storing}
20
21 *}
22 end
17 end