kleing [Thu, 08 Apr 2004 01:04:20 +0200] rev 14529
fix time tag of session.tex
ballarin [Wed, 07 Apr 2004 20:42:13 +0200] rev 14528
Locale instantiation: label parameter optional, new attribute paramter.
paulson [Wed, 07 Apr 2004 14:25:48 +0200] rev 14527
IsaMakefile
mehta [Tue, 06 Apr 2004 16:19:45 +0200] rev 14526
new
mehta [Tue, 06 Apr 2004 16:16:36 +0200] rev 14525
*** empty log message ***
mehta [Tue, 06 Apr 2004 16:10:39 +0200] rev 14524
*** empty log message ***
streckem [Tue, 06 Apr 2004 16:05:14 +0200] rev 14523
new
mehta [Tue, 06 Apr 2004 15:39:10 +0200] rev 14522
*** empty log message ***
mehta [Tue, 06 Apr 2004 12:25:13 +0200] rev 14521
*** empty log message ***
skalberg [Mon, 05 Apr 2004 13:30:37 +0200] rev 14520
Whoops. Those default cases can be tricky.
skalberg [Mon, 05 Apr 2004 13:23:10 +0200] rev 14519
Added support for the newer versions of SML/NJ, which break several of the
old interfaces.
skalberg [Sun, 04 Apr 2004 15:34:14 +0200] rev 14518
Added a number of explicit type casts and delayed evaluations (all seemingly
needless) so that SML/NJ 110.9.1 would accept the importer...
nipkow [Fri, 02 Apr 2004 17:40:32 +0200] rev 14517
exposed fast_arith_neq_limit
skalberg [Fri, 02 Apr 2004 17:37:45 +0200] rev 14516
Added HOL proof importer.