Thu, 16 Oct 2003 10:32:36 +0200 improved presentation
paulson [Thu, 16 Oct 2003 10:32:36 +0200] rev 14238
improved presentation
Thu, 16 Oct 2003 10:32:06 +0200 line-breaks; rewording
paulson [Thu, 16 Oct 2003 10:32:06 +0200] rev 14237
line-breaks; rewording
Thu, 16 Oct 2003 10:31:40 +0200 partial conversion to Isar scripts
paulson [Thu, 16 Oct 2003 10:31:40 +0200] rev 14236
partial conversion to Isar scripts
Wed, 15 Oct 2003 11:02:28 +0200 Fixed bug in mk_ind_def that caused the inductive definition package to
berghofe [Wed, 15 Oct 2003 11:02:28 +0200] rev 14235
Fixed bug in mk_ind_def that caused the inductive definition package to crash in cases where the declaration of a constant and its definition were located in different theory files.
Wed, 15 Oct 2003 07:03:43 +0200 use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid
kleing [Wed, 15 Oct 2003 07:03:43 +0200] rev 14234
use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid conflict with locale subscript syntax)
Wed, 15 Oct 2003 01:58:41 +0200 allow \<^sub> in identifiers
kleing [Wed, 15 Oct 2003 01:58:41 +0200] rev 14233
allow \<^sub> in identifiers
Wed, 15 Oct 2003 01:52:47 +0200 included \<^sub> in the range of identifier chars
kleing [Wed, 15 Oct 2003 01:52:47 +0200] rev 14232
included \<^sub> in the range of identifier chars
Mon, 13 Oct 2003 16:54:20 +0200 Fixed spelling error.
skalberg [Mon, 13 Oct 2003 16:54:20 +0200] rev 14231
Fixed spelling error.
Fri, 10 Oct 2003 19:34:28 +0200 Added overview page.
berghofe [Fri, 10 Oct 2003 19:34:28 +0200] rev 14230
Added overview page.
Fri, 10 Oct 2003 19:32:15 +0200 Munich webserver is now atbroy1
berghofe [Fri, 10 Oct 2003 19:32:15 +0200] rev 14229
Munich webserver is now atbroy1
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip