Index of /~jeremy/isabelle/2005/deep

	Name	Last modified	Size	Description
	Parent Directory		-
	unify.ML	02-Nov-2005 11:51	13K
	unC8.ML	31-Oct-2005 12:51	3.5K
	summ	12-Apr-2002 12:27	1.9K
	stringSyntax.thy	12-Feb-2003 11:34	55
	stringSyntax.ML	12-Apr-2002 12:27	2.0K
	sedscript	16-Dec-2005 11:08	20
	sedall	05-Sep-2006 15:36	153
	rsC8.ML	31-Oct-2005 15:00	2.0K
	qed.ml	12-Apr-2002 12:27	1.2K
	orC8.ML	31-Oct-2005 12:51	2.9K
	newSub.thy	12-Apr-2002 12:27	220
	newSub.ML	20-Dec-2005 00:31	4.0K
	new/	22-Nov-2007 09:44	-
	meta_proofs.thy	12-Apr-2002 12:27	33
	meta_proofs.ML	07-Jul-2004 11:27	1.6K
	makefile	22-Jul-2005 12:31	33
	makeCut.thy	20-Dec-2002 08:50	40
	makeCut.ML	20-Dec-2005 00:12	8.9K
	fromGRep.ML	20-Dec-2005 07:29	16K
	detab.ml	12-Apr-2002 12:27	2.1K
	derrls.ML	16-Jul-2002 15:46	4.4K
	derivs.ML	07-Jul-2004 11:13	7.1K
	cvt.ml	12-Apr-2002 12:27	5.7K
	conC8.ML	31-Oct-2005 12:52	6.2K
	compC8.ML	31-Oct-2005 15:01	2.0K
	andC8.ML	31-Oct-2005 12:51	1.9K
	all.thy	10-Feb-2005 17:20	63
	Wansing2.thy	19-Dec-2005 15:16	3.6K
	Wansing2.ML	20-Dec-2005 16:12	12K
	Wansing.thy	31-Oct-2005 11:41	1.7K
	Wansing.ML	20-Dec-2005 16:12	12K
	WC8cases.thy	12-Apr-2002 12:27	18
	WC8cases.ML	31-Oct-2005 15:02	6.2K
	WC8.thy	12-Apr-2002 12:27	39
	WC8.ML	31-Oct-2005 14:47	3.3K
	SNCE.thy	19-Dec-2005 15:01	176
	SNCE.ML	07-Jul-2004 12:25	3.8K
	SN2.thy	20-Dec-2005 16:12	209
	SN2.ML	20-Dec-2005 16:12	7.1K
	SN0.thy	20-Dec-2005 16:12	1.1K
	SN0.ML	20-Dec-2005 16:12	9.1K
	SN.thy	20-Dec-2005 16:12	824
	SN.ML	20-Dec-2005 16:12	3.5K
	RPImports.thy	19-Dec-2005 16:47	52
	RP.thy	20-Dec-2005 16:12	3.0K
	RP.ML	19-Dec-2005 14:56	26K
	ROOT.ML	20-Dec-2005 16:12	217
	README	18-Apr-2012 17:03	1.4K
	NP2.thy	20-Dec-2005 16:12	20
	NP2.ML	19-Dec-2005 14:55	11K
	NP.thy	20-Dec-2005 16:12	2.0K
	NP.ML	19-Dec-2005 14:56	6.8K
	HOL_Sub.thy	20-Dec-2005 09:24	8.9K
	HOL_Sub.ML	19-Dec-2005 13:21	17K
	HOL_Rls.thy	31-Oct-2005 14:56	4.5K
	HOL_Rls.ML	21-Dec-2005 17:37	10K
	HOL_Rep.thy	27-Sep-2002 16:25	2.9K
	HOL_Rep.ML	20-Dec-2005 07:18	18K
	HOL_ElimC8.thy	12-Apr-2002 12:27	34
	HOL_ElimC8.ML	22-May-2002 12:35	3.1K
	HOL_Elim.thy	12-Apr-2002 12:27	1.0K
	HOL_Elim.ML	20-Dec-2005 00:21	8.1K
	HOL_Disp.thy	27-Sep-2002 16:49	1.6K
	HOL_Disp.ML	20-Dec-2005 00:11	10K
	HOL_DT.thy	19-Dec-2005 23:04	5.4K
	HOL_DT.ML	20-Dec-2005 00:15	16K
	HOL_Cut.thy	20-Dec-2002 08:23	2.9K
	HOL_Cut.ML	19-Dec-2005 23:57	16K
	HOL_C8.thy	20-Dec-2002 08:24	61
	HOL_C8.ML	31-Oct-2005 12:50	9.2K
	GRep.thy	19-Dec-2005 21:21	18
	GDC.thy	31-Oct-2005 15:07	8.2K
	GDC.ML	31-Dec-2011 13:14	953
	DT_Sub.ML	19-Dec-2005 23:27	2.7K
	DT1.ML	19-Dec-2005 23:39	6.4K
	CutRedImports.thy	19-Dec-2005 16:41	38
	CutRed.thy	20-Dec-2005 16:12	2.5K
	CutRed.ML	20-Dec-2005 16:12	3.3K
	C8cases.thy	12-Apr-2002 12:27	20
	C8cases.ML	25-Jun-2004 15:31	328
	Belnap.thy	02-Oct-2002 13:59	1.7K
	Belnap.ML	02-Mar-2005 10:15	9.6K