equal
deleted
inserted
replaced
50 (by Florian Kammüller). |
50 (by Florian Kammüller). |
51 |
51 |
52 * HOL/IMP: new proofs in Isar format |
52 * HOL/IMP: new proofs in Isar format |
53 (by Gerwin Klein). |
53 (by Gerwin Klein). |
54 |
54 |
|
55 * HOL/MicroJava: exception handling on the bytecode level |
|
56 (by Gerwin Klein). |
|
57 |
55 * ZF/UNITY: typeless version of Chandy and Misra's formalism |
58 * ZF/UNITY: typeless version of Chandy and Misra's formalism |
56 (by Sidi O Ehmety). |
59 (by Sidi O Ehmety). |
57 |
60 |
58 * System: improvements and simplifications of document preparation |
61 * System: improvements and simplifications of document preparation |
59 (by Markus Wenzel). |
62 (by Markus Wenzel). |