| Fri, 10 Mar 2006 19:49:58 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 10 Mar 2006 17:57:09 +0100 | paulson | exporting reapAll and killChild | changeset | files |
| Fri, 10 Mar 2006 17:53:53 +0100 | webertj | text delimiter fixed | changeset | files |
| Fri, 10 Mar 2006 17:24:16 +0100 | webertj | comment delimiter fixed | changeset | files |
| Fri, 10 Mar 2006 16:31:50 +0100 | webertj | clauses now use (meta-)hyps instead of (meta-)implications; significant speedup | changeset | files |
| Fri, 10 Mar 2006 16:21:49 +0100 | haftmann | fix for document preparation | changeset | files |
| Fri, 10 Mar 2006 16:05:34 +0100 | schirmer | Added Library/AssocList.thy | changeset | files |
| Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | changeset | files |