equal
deleted
inserted
replaced
14 various collections avaiable in theories Fset, Dlist, RBT, |
14 various collections avaiable in theories Fset, Dlist, RBT, |
15 Mapping and AssocList. |
15 Mapping and AssocList. |
16 |
16 |
17 * March 2010: Sascha Boehme, TUM |
17 * March 2010: Sascha Boehme, TUM |
18 Efficient SHA1 library for Poly/ML. |
18 Efficient SHA1 library for Poly/ML. |
|
19 |
|
20 * February 2010: Cezary Kaliszyk and Christian Urban, TUM |
|
21 Quotient type package for Isabelle/HOL. |
19 |
22 |
20 |
23 |
21 Contributions to Isabelle2009-1 |
24 Contributions to Isabelle2009-1 |
22 ------------------------------- |
25 ------------------------------- |
23 |
26 |