isabelle: Changelog

huffman [Tue, 14 Jun 2005 03:35:15 +0200] rev 16385

up_eq and up_less in default simpset now

obua [Mon, 13 Jun 2005 21:28:57 +0200] rev 16384

internalize axiom names in Defs.define; compress types via Term.compress_type

paulson [Mon, 13 Jun 2005 15:10:52 +0200] rev 16383

downgraded to pdf v 1.4

haftmann [Mon, 13 Jun 2005 14:35:05 +0200] rev 16382

experimental

haftmann [Mon, 13 Jun 2005 14:31:21 +0200] rev 16381

just non_functional experimantal code, by now

nipkow [Mon, 13 Jun 2005 13:10:45 +0200] rev 16380

changed -1 back to 0

schirmer [Mon, 13 Jun 2005 10:35:53 +0200] rev 16379

more timing information

nipkow [Sun, 12 Jun 2005 08:53:41 +0200] rev 16378

simp_depth now starts at -1 to make it start at 0 ;-)

wenzelm [Sat, 11 Jun 2005 23:24:33 +0200] rev 16377

added ML-Systems/polyml-posix.ML;

wenzelm [Sat, 11 Jun 2005 23:19:36 +0200] rev 16376

pass ml_platform;

isabelle