kleing [Tue, 15 Feb 2000 21:02:55 +0100] rev 8247
cosmetics
wenzelm [Tue, 15 Feb 2000 19:41:44 +0100] rev 8246
fixed sel_upd simproc (less efficient, but more complete);
kleing [Tue, 15 Feb 2000 17:51:11 +0100] rev 8245
lightweight bytecode verifier with correctness proof
wenzelm [Mon, 14 Feb 2000 20:49:08 +0100] rev 8244
basic source deps;
wenzelm [Mon, 14 Feb 2000 20:43:12 +0100] rev 8243
easy_setup: fixed mksimps;
wenzelm [Mon, 14 Feb 2000 20:42:02 +0100] rev 8242
proof step: reset goal_facts;
wenzelm [Mon, 14 Feb 2000 12:23:08 +0100] rev 8241
mkdir -p $ISABELLE_BROWSER_INFO;
wenzelm [Mon, 14 Feb 2000 11:23:57 +0100] rev 8240
fixed prefer;
wenzelm [Mon, 14 Feb 2000 11:23:44 +0100] rev 8239
tuned msg;
wenzelm [Sun, 13 Feb 2000 21:01:26 +0100] rev 8238
added refine_end;
res_inst tactic emulation;
wenzelm [Sun, 13 Feb 2000 21:00:02 +0100] rev 8237
tuned attrib;
wenzelm [Sun, 13 Feb 2000 20:58:13 +0100] rev 8236
apply: observe facts;
apply_end;
wenzelm [Sun, 13 Feb 2000 20:56:55 +0100] rev 8235
prf_script commands made proper;
removed then_apply;
added apply_end;
wenzelm [Sun, 13 Feb 2000 20:54:12 +0100] rev 8234
refine_end;
wenzelm [Sun, 13 Feb 2000 20:52:58 +0100] rev 8233
attrib: keyword_symid;
goal_spec;
wenzelm [Thu, 10 Feb 2000 20:54:40 +0100] rev 8232
\isabellesimplestyle;
wenzelm [Thu, 10 Feb 2000 20:54:18 +0100] rev 8231
symid: include single symbolic char;
wenzelm [Thu, 10 Feb 2000 20:52:59 +0100] rev 8230
is_symbolic;
wenzelm [Thu, 10 Feb 2000 13:36:23 +0100] rev 8229
theorems [elim??] = sym;
wenzelm [Thu, 10 Feb 2000 13:34:52 +0100] rev 8228
added easy_setup;
wenzelm [Thu, 10 Feb 2000 13:34:38 +0100] rev 8227
add_judgment;
paulson [Thu, 10 Feb 2000 11:08:42 +0100] rev 8226
new thm and simprule inv_id
paulson [Thu, 10 Feb 2000 11:03:54 +0100] rev 8225
Cambridge-specific modifications
wenzelm [Wed, 09 Feb 2000 14:35:23 +0100] rev 8224
mirror dist page;
wenzelm [Wed, 09 Feb 2000 14:12:14 +0100] rev 8223
tuned;
wenzelm [Wed, 09 Feb 2000 14:03:29 +0100] rev 8222
mirror main page;
kleing [Wed, 09 Feb 2000 13:43:35 +0100] rev 8221
clearer "Obtaining" section
wenzelm [Wed, 09 Feb 2000 12:30:25 +0100] rev 8220
[df]rule methods;
wenzelm [Wed, 09 Feb 2000 12:30:04 +0100] rev 8219
document -c;
wenzelm [Wed, 09 Feb 2000 12:29:03 +0100] rev 8218
eliminated gif dir;