| Sat, 04 Mar 2006 21:10:07 +0100 | wenzelm | added mk_conjunction; | changeset | files |
| Sat, 04 Mar 2006 21:10:06 +0100 | wenzelm | method: restriction to first n sub-goals; | changeset | files |
| Fri, 03 Mar 2006 19:43:46 +0100 | nipkow | minor changes | changeset | files |
| Fri, 03 Mar 2006 19:30:30 +0100 | nipkow | more examples | changeset | files |
| Fri, 03 Mar 2006 19:30:20 +0100 | nipkow | changed and retracted change of location of code lemmas. | changeset | files |
| Fri, 03 Mar 2006 16:25:30 +0100 | nipkow | ignore repeated vars on lhs, cleanup | changeset | files |
| Fri, 03 Mar 2006 08:52:39 +0100 | haftmann | improvements for nbe | changeset | files |
| Thu, 02 Mar 2006 18:51:11 +0100 | paulson | reformatting | changeset | files |
| Thu, 02 Mar 2006 18:50:43 +0100 | paulson | subset_refl now included using the atp attribute | changeset | files |
| Thu, 02 Mar 2006 18:49:13 +0100 | paulson | moved the "use" directive | changeset | files |
| Thu, 02 Mar 2006 16:01:06 +0100 | urbanc | fixed the bugs itroduced by the previous commit | changeset | files |
| Thu, 02 Mar 2006 15:43:22 +0100 | urbanc | made some small changes to generate nicer latex-output | changeset | files |
| Thu, 02 Mar 2006 15:05:09 +0100 | urbanc | split the files | changeset | files |
| Thu, 02 Mar 2006 00:57:34 +0100 | mengj | Added in a signature. | changeset | files |