proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/isar/bad2.thy

	Commit message (Collapse)	Author	Age
*	updated tests to Isabelle2011-1;	Makarius Wenzel	2011-09-28
\|
*	Added some bug test cases.	David Aspinall	2000-09-13