isabelle: Changelog

clasohm [Thu, 26 Oct 1995 12:49:02 +0100] rev 1310

removed buggy FTP scripts and replaced them by a script for transfer to our HTTP server

clasohm [Thu, 26 Oct 1995 11:47:25 +0100] rev 1309

scripts for transfer of HTML files to FTP server

clasohm [Wed, 25 Oct 1995 13:41:45 +0100] rev 1308

removed "duplicate" warning from store_thm_db; changed place where store_thm_db is called for a theory's axioms

clasohm [Wed, 25 Oct 1995 12:53:53 +0100] rev 1307

added init_html and make_chart

clasohm [Wed, 25 Oct 1995 12:53:24 +0100] rev 1306

added make_chart

nipkow [Wed, 25 Oct 1995 10:49:53 +0100] rev 1305

Removed Old_HOL

paulson [Wed, 25 Oct 1995 10:15:51 +0100] rev 1304

Unused type sequ deleted

nipkow [Wed, 25 Oct 1995 09:50:18 +0100] rev 1303

Hat to modify a proof because of chaned simpset for Prod.

nipkow [Wed, 25 Oct 1995 09:49:35 +0100] rev 1302

Moved some thms to Arith and to Trancl.

nipkow [Wed, 25 Oct 1995 09:48:29 +0100] rev 1301

Added various thms and tactics.

isabelle