| Thu, 20 Sep 2007 12:10:23 +0200 | obua | improved computing | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Fri, 03 Aug 2007 16:28:15 +0200 | wenzelm | replaced Theory.self_ref by Theory.check_thy, which now produces a checked ref; | file | diff | annotate |