doc-src/IsarRef/conversion.tex
Tue, 17 Oct 2000 22:25:03 +0200 wenzelm "Deriving rules";
Sun, 15 Oct 2000 19:51:56 +0200 wenzelm tuned;
Fri, 06 Oct 2000 14:19:48 +0200 wenzelm tuned;
Wed, 04 Oct 2000 21:05:42 +0200 wenzelm added more stuff;
Thu, 28 Sep 2000 19:07:09 +0200 wenzelm some preliminary stuff on conversion;
Tue, 05 Sep 2000 18:43:22 +0200 wenzelm tuned;
Sun, 03 Sep 2000 20:01:47 +0200 wenzelm tuned;
Sat, 02 Sep 2000 21:46:04 +0200 wenzelm some stuff;
Mon, 14 Aug 2000 18:49:35 +0200 wenzelm added conversion.tex;
less more (0) tip