doc-src/IsarRef/pure.tex
Fri, 31 Mar 2000 18:10:21 +0200 wenzelm fixed goal syntax;
Thu, 30 Mar 2000 15:13:02 +0200 wenzelm support Hindley-Milner polymorphisms in results and bindings;
Tue, 21 Mar 2000 17:32:43 +0100 wenzelm tuned;
Mon, 20 Mar 2000 18:43:37 +0100 wenzelm res_inst_tac etc.;
Sat, 18 Mar 2000 19:07:47 +0100 wenzelm pure methods / atts moved here;
Fri, 17 Mar 2000 22:52:14 +0100 wenzelm fixed theory, context typing;
Thu, 16 Mar 2000 00:28:35 +0100 wenzelm moved "cases" to generic.tex;
Tue, 14 Mar 2000 11:31:45 +0100 wenzelm tuned 'case';
Wed, 08 Mar 2000 23:43:11 +0100 wenzelm tuned ML types;
Wed, 16 Feb 2000 15:04:12 +0100 wenzelm Syntax translation functions;
Mon, 07 Feb 2000 18:42:47 +0100 wenzelm (then_)apply: prove -> prove;
Sat, 05 Feb 2000 16:54:27 +0100 wenzelm '.' == by this;
Wed, 05 Jan 2000 11:57:47 +0100 wenzelm proof markup: any mode;
Sun, 31 Oct 1999 15:25:55 +0100 wenzelm tuned;
Sun, 31 Oct 1999 15:20:35 +0100 wenzelm tuned;
Sat, 30 Oct 1999 20:13:16 +0200 wenzelm tuned;
Fri, 29 Oct 1999 16:48:55 +0200 wenzelm improved;
Thu, 21 Oct 1999 17:42:21 +0200 wenzelm updated;
Sat, 25 Sep 1999 13:25:16 +0200 wenzelm defs: axmdecl;
Tue, 07 Sep 1999 18:09:40 +0200 wenzelm tuned (then_)apply;
Sat, 04 Sep 1999 20:57:32 +0200 wenzelm updated;
Fri, 03 Sep 1999 16:11:53 +0200 wenzelm updated;
Wed, 01 Sep 1999 21:28:56 +0200 wenzelm fix: vars;
Mon, 30 Aug 1999 20:30:39 +0200 wenzelm tuned;
Mon, 30 Aug 1999 14:08:23 +0200 wenzelm '_' theorem;
Tue, 24 Aug 1999 15:38:18 +0200 wenzelm draft release;
Mon, 23 Aug 1999 15:27:27 +0200 wenzelm tuned;
Mon, 23 Aug 1999 11:43:21 +0200 wenzelm tuned;
Sun, 22 Aug 1999 21:13:20 +0200 wenzelm checkpoint;
Wed, 04 Aug 1999 18:20:24 +0200 wenzelm tuned;
Tue, 03 Aug 1999 18:56:51 +0200 wenzelm tuned;
Fri, 30 Jul 1999 18:27:25 +0200 wenzelm even more stuff;
Fri, 30 Jul 1999 15:40:54 +0200 wenzelm more;
Fri, 30 Jul 1999 14:59:32 +0200 wenzelm more stuff;
Mon, 19 Jul 1999 17:08:05 +0200 wenzelm skeleton only;
less more (0) tip