Index of /users/moore/publications/trecia/support

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	03-Apr-2003 13:40	599
	Makefile-generic	03-Apr-2003 13:40	7.1K
	README	03-Apr-2003 13:37	345
	certify.lsp	03-Apr-2003 13:37	3.1K
	defpun.cert	03-Apr-2003 13:42	240
	defpun.date	03-Apr-2003 13:41	29
	defpun.lisp	03-Apr-2003 13:37	17K
	defpun.o	03-Apr-2003 13:42	21K
	defpun.out	03-Apr-2003 13:42	9.1K
	demo.acl2	03-Apr-2003 13:37	52
	demo.cert	03-Apr-2003 13:45	7.5K
	demo.date	03-Apr-2003 13:44	29
	demo.lisp	03-Apr-2003 13:37	19K
	demo.o	03-Apr-2003 13:45	12K
	demo.out	03-Apr-2003 13:45	37K
	m5.acl2	03-Apr-2003 13:37	4.2K
	m5.cert	03-Apr-2003 13:42	2.3K
	m5.date	03-Apr-2003 13:42	29
	m5.lisp	03-Apr-2003 13:37	112K
	m5.o	03-Apr-2003 13:42	179K
	m5.out	03-Apr-2003 13:42	53K
	utilities.acl2	03-Apr-2003 13:37	50
	utilities.cert	03-Apr-2003 13:44	4.7K
	utilities.date	03-Apr-2003 13:42	29
	utilities.lisp	03-Apr-2003 13:41	5.6K
	utilities.o	03-Apr-2003 13:44	2.6K
	utilities.out	03-Apr-2003 13:44	50K
	vcg-examples.acl2	03-Apr-2003 13:37	59
	vcg-examples.cert	03-Apr-2003 13:47	7.8K
	vcg-examples.date	03-Apr-2003 13:45	29
	vcg-examples.lisp	03-Apr-2003 13:37	33K
	vcg-examples.o	03-Apr-2003 13:47	15K
	vcg-examples.out	03-Apr-2003 13:47	73K