isabelle: Changelog

nipkow [Tue, 13 Feb 1996 17:16:06 +0100] rev 1495

Added check for duplicate vars with distinct types/sorts (nodup_Vars)

nipkow [Tue, 13 Feb 1996 14:13:23 +0100] rev 1494

added nodup_Vars check in cterm_of. Prevents same var with distinct types.

clasohm [Tue, 13 Feb 1996 12:57:24 +0100] rev 1493

added dest_comb, dest_abs and mk_prop for manipulating cterms

clasohm [Tue, 13 Feb 1996 11:36:15 +0100] rev 1492

cond_timeit now uses totalCPUTimer instead of starting new ones every time it is invoked; hopefully this will fix the strange SML109 bug

clasohm [Sat, 10 Feb 1996 19:04:21 +0100] rev 1491

make_html now only remains set if MAKE_HTML=true

nipkow [Fri, 09 Feb 1996 18:56:39 +0100] rev 1490

More examples.

nipkow [Fri, 09 Feb 1996 18:29:01 +0100] rev 1489

Small changes.

isabelle