| Sun, 04 Nov 2007 16:43:27 +0100 | wenzelm | the all-important ML antiquotations are back; | changeset | files |
| Fri, 02 Nov 2007 18:53:01 +0100 | haftmann | generic tactic Method.intros_tac | changeset | files |
| Fri, 02 Nov 2007 18:53:00 +0100 | haftmann | clarified theory target interface | changeset | files |
| Fri, 02 Nov 2007 18:52:59 +0100 | haftmann | more precise treatment of prove_subclass | changeset | files |
| Fri, 02 Nov 2007 18:52:58 +0100 | haftmann | proper reinitialisation after subclass | changeset | files |
| Fri, 02 Nov 2007 18:52:57 +0100 | haftmann | clarified | changeset | files |
| Fri, 02 Nov 2007 16:38:37 +0100 | paulson | tweaked | changeset | files |
| Fri, 02 Nov 2007 16:38:14 +0100 | paulson | recdef to fun | changeset | files |
| Fri, 02 Nov 2007 15:56:49 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 02 Nov 2007 12:35:27 +0100 | kleing | Added reference to Jeremy Dawson's paper on the word library. | changeset | files |
| Fri, 02 Nov 2007 08:59:15 +0100 | nipkow | recdef -> fun | changeset | files |
| Fri, 02 Nov 2007 08:26:01 +0100 | nipkow | added Fun | changeset | files |
| Fri, 02 Nov 2007 08:17:33 +0100 | haftmann | tuned | changeset | files |
| Thu, 01 Nov 2007 20:20:19 +0100 | nipkow | recdef -> fun | changeset | files |
| Thu, 01 Nov 2007 13:44:44 +0100 | nipkow | *** empty log message *** | changeset | files |