isabelle: File revisions

NEWS

1997-06-20	wenzelm	1997-06-20	removed;	file \| diff \| annotate
1997-05-26	paulson	1997-05-26	Added recdef	file \| diff \| annotate
1997-05-23	nipkow	1997-05-23	arbitrary	file \| diff \| annotate
1997-05-23	oheimb	1997-05-23	adapted entry for addss, addSss	file \| diff \| annotate
1997-05-23	nipkow	1997-05-23	news.	file \| diff \| annotate
1997-05-20	wenzelm	1997-05-20	* empty log message *	file \| diff \| annotate
1997-05-15	wenzelm	1997-05-15	* empty log message *	file \| diff \| annotate
1997-05-06	wenzelm	1997-05-06	* empty log message *	file \| diff \| annotate
1997-05-05	wenzelm	1997-05-05	tuned;	file \| diff \| annotate
1997-04-24	nipkow	1997-04-24	induct_tac	file \| diff \| annotate
1997-04-22	wenzelm	1997-04-22	tuned;	file \| diff \| annotate
1997-04-21	paulson	1997-04-21	Reorganized under headings. Also documented Blast_tac and LFilter	file \| diff \| annotate
1997-04-18	nipkow	1997-04-18	* empty log message *	file \| diff \| annotate
1997-04-17	wenzelm	1997-04-17	* empty log message *	file \| diff \| annotate
1997-04-09	oheimb	1997-04-09	replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper'	file \| diff \| annotate
1997-04-02	paulson	1997-04-02	ZF.thy is again usable	file \| diff \| annotate
1997-03-20	wenzelm	1997-03-20	* empty log message *	file \| diff \| annotate
1997-03-07	wenzelm	1997-03-07	* empty log message *	file \| diff \| annotate
1997-03-07	wenzelm	1997-03-07	* empty log message *	file \| diff \| annotate
1997-03-07	paulson	1997-03-07	Tidied and updated	file \| diff \| annotate
1997-03-05	wenzelm	1997-03-05	* empty log message *	file \| diff \| annotate
1997-03-05	wenzelm	1997-03-05	* empty log message *	file \| diff \| annotate
1997-03-05	wenzelm	1997-03-05	* empty log message *	file \| diff \| annotate
1997-03-05	paulson	1997-03-05	HOL: renaming of "not"	file \| diff \| annotate
1997-02-28	wenzelm	1997-02-28	* empty log message *	file \| diff \| annotate
1997-02-17	wenzelm	1997-02-17	* empty log message *	file \| diff \| annotate
1997-02-17	slotosch	1997-02-17	described changes for HOLCF-Version without rules and arities	file \| diff \| annotate
1997-02-17	oheimb	1997-02-17	improved description of recent changes	file \| diff \| annotate
1997-02-15	oheimb	1997-02-15	* empty log message *	file \| diff \| annotate
1997-01-27	paulson	1997-01-27	More news items, dating back to 1995	file \| diff \| annotate
1997-01-27	wenzelm	1997-01-27	* empty log message *	file \| diff \| annotate
1997-01-24	wenzelm	1997-01-24	* empty log message *	file \| diff \| annotate
1997-01-24	wenzelm	1997-01-24	* empty log message *	file \| diff \| annotate
1997-01-24	wenzelm	1997-01-24	Isabelle NEWS -- history of user-visible changes;	file \| diff \| annotate

isabelle

RSS Atom