equal
deleted
inserted
replaced

1 

2 * July 2005: Jeremy Avigad, Carnegie Mellon University 

3 Various improvements of the HOL and HOLComplex library. 
1 
4 
2 * July 2005: Florian Haftmann, TUM 
5 * July 2005: Florian Haftmann, TUM 
3 Some combinators for linear functional transformations in ML: 
6 Some combinators for linear functional transformations in ML: 
4 > #> fold_map etc. 
7 > #> fold_map etc. 

8 

9 * July 2005: Florian Zuleger, Johannes Hoelzl, and Simon Funke, TUM 

10 Some structured proofs about completeness of real numbers. 
5 
11 
6 * May 2005: Rafal Kolanski, NICTA 
12 * May 2005: Rafal Kolanski, NICTA 
7 Substantially improved retrieval of facts from theory/proof context. 
13 Substantially improved retrieval of facts from theory/proof context. 
8 
14 
9 * May 2005: Florian Haftmann, TUM 
15 * May 2005: Florian Haftmann, TUM 