neuper@38089
|
1 |
@book{Paulson:Isa94,
|
neuper@38089
|
2 |
title={Isabelle: a generic theorem prover},
|
neuper@38089
|
3 |
author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994},
|
neuper@38089
|
4 |
volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={},
|
neuper@38089
|
5 |
note={With contributions by Topias Nipkow},
|
neuper@38089
|
6 |
status={},source={},location={-}
|
neuper@38089
|
7 |
}
|
neuper@38089
|
8 |
|
neuper@38079
|
9 |
@Book{pl:milner97,
|
neuper@38079
|
10 |
author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
|
neuper@38079
|
11 |
title = {The Definition of Standard ML (Revised)},
|
neuper@38079
|
12 |
publisher = {The MIT Press},
|
neuper@38079
|
13 |
year = 1997,
|
neuper@38079
|
14 |
address = {Cambridge, London},
|
neuper@38079
|
15 |
annote = {97bok375}
|
neuper@38079
|
16 |
}
|
neuper@38079
|
17 |
|
neuper@38079
|
18 |
@Article{back-grundy-wright-98,
|
neuper@38079
|
19 |
author = {Back, Ralph and Grundy, Jim and von Wright, Joakim},
|
neuper@38079
|
20 |
title = {Structured Calculational Proof},
|
neuper@38079
|
21 |
journal = {Formal Aspects of Computing},
|
neuper@38079
|
22 |
year = {1998},
|
neuper@38079
|
23 |
number = {9},
|
neuper@38079
|
24 |
pages = {469-483}
|
neuper@38079
|
25 |
}
|
neuper@38079
|
26 |
|
neuper@38079
|
27 |
@Manual{isar-impl,
|
neuper@38079
|
28 |
title = {The {Isabelle/Isar} Implementation},
|
neuper@38079
|
29 |
author = {Makarius Wenzel},
|
neuper@38079
|
30 |
month = {April 19},
|
neuper@38079
|
31 |
year = {2009},
|
neuper@38079
|
32 |
note = {With contributions by Florian Haftmann and Larry Paulson}
|
neuper@38079
|
33 |
}
|
neuper@38079
|
34 |
|
neuper@38079
|
35 |
@InProceedings{wenzel:isar,
|
neuper@38079
|
36 |
author = {Wenzel, Markus},
|
neuper@38079
|
37 |
title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
|
neuper@38079
|
38 |
booktitle = {Theorem Proving in Higher Order Logics},
|
neuper@38079
|
39 |
year = {1999},
|
neuper@38079
|
40 |
editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
|
neuper@38079
|
41 |
series = {LNCS 1690},
|
neuper@38079
|
42 |
organization = {12th International Conference TPHOLs'99},
|
neuper@38079
|
43 |
publisher = {Springer}
|
neuper@38079
|
44 |
}
|