Index of /~logik/download/proofgeneral/isar

	Name	Last modified	Size	Description
	Parent Directory		-
	BUGS	2008-04-03 15:56	778
	Example-Xsym.thy	2008-04-03 15:56	805
	Example.thy	2008-04-03 15:56	700
	KnasterTarski.thy	2008-04-03 15:56	3.3K
	README	2008-04-03 15:56	1.3K
	Root2_Isar.thy	2008-04-03 15:56	5.4K
	Root2_Tactic.thy	2008-04-03 15:56	2.5K
	Tarski.thy	2008-04-03 15:56	28K
	interface	2008-04-03 15:56	4.9K
	interface-setup.el	2008-04-03 15:56	1.1K
	isabelle-system.el	2008-04-03 15:56	16K
	isar-autotest.el	2008-04-03 15:56	1.2K
	isar-find-theorems.el	2008-04-03 15:56	17K
	isar-keywords.el	2008-04-03 15:56	8.2K
	isar-mmm.el	2008-04-03 15:56	2.0K
	isar-syntax.el	2008-04-03 15:56	18K
	isar-unicode-tokens.el	2008-04-03 15:56	11K
	isar.el	2008-04-03 15:56	23K
	isartags	2008-04-03 15:56	2.0K
	x-symbol-isar.el	2008-04-03 15:56	16K