equal
deleted
inserted
replaced
8 |
8 |
9 * 2014/2015: Daniel Matichuk, Toby Murray, NICTA and Makarius Wenzel |
9 * 2014/2015: Daniel Matichuk, Toby Murray, NICTA and Makarius Wenzel |
10 The Eisbach proof method language and "match" method. |
10 The Eisbach proof method language and "match" method. |
11 |
11 |
12 * Winter 2014 and Spring 2015: Ondrej Kuncar, TUM |
12 * Winter 2014 and Spring 2015: Ondrej Kuncar, TUM |
13 Extension of lift_definition to execute lifted functions that have as a return type |
13 Extension of lift_definition to execute lifted functions that have as a |
14 a datatype containing a subtype. |
14 return type a datatype containing a subtype. |
15 |
15 |
16 * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII, |
16 * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII, |
17 and Dmitriy Traytel, TUM |
17 and Dmitriy Traytel, TUM |
18 More multiset theorems, syntax, and operations. |
18 More multiset theorems, syntax, and operations. |
19 |
19 |