| 2009-10-29 | haftmann | 2009-10-29 | moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly | file | diff | annotate |
| 2009-10-29 | haftmann | 2009-10-29 | moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly | file | diff | annotate |
| 2009-10-28 | haftmann | 2009-10-28 | moved theory Divides after theory Nat_Numeral; tuned some proof texts | file | diff | annotate |
| 2009-07-14 | haftmann | 2009-07-14 | prefer code_inline over code_unfold; use code_unfold_post where appropriate | file | diff | annotate |
| 2009-07-14 | haftmann | 2009-07-14 | code attributes use common underscore convention | file | diff | annotate |
| 2009-06-02 | haftmann | 2009-06-02 | OCaml builtin intergers are elusive; avoid | file | diff | annotate |
| 2009-05-27 | haftmann | 2009-05-27 | added lemma about 0 - 1 | file | diff | annotate |
| 2009-05-19 | haftmann | 2009-05-19 | String.literal replaces message_string, code_numeral replaces (code_)index | file | diff | annotate | base |