| changeset 2742 | f1192e3474e0 |
| parent 2736 | 61d30863e5d1 |
| child 2744 | 56b8d977d1c0 |
| 2741:651355113eee | 2742:f1192e3474e0 |
|---|---|
162 volume = {71}, |
162 volume = {71}, |
163 number = {1}, |
163 number = {1}, |
164 pages = {299--320} |
164 pages = {299--320} |
165 } |
165 } |
166 |
166 |
167 @Manual{Wenzel04, |
|
168 title = {{U}sing {A}xiomatic {T}ype {C}lasses in {I}sabelle}, |
|
169 author = {M.~Wenzel}, |
|
170 note = {Manual in the Isabelle distribution.} |
|
171 } |