Index of /users/moore/acl2/seminar/2011.04-13-kaufmann/sat-proof-checking-talk

	Name	Last modified	Size	Description
	Parent Directory		-
	print-proof.lisp	13-Apr-2011 09:50	1.1K
	two-runs.acl2	13-Apr-2011 12:03	143
	intro.lisp	13-Apr-2011 14:43	2.0K
	two-runs.lisp	13-Apr-2011 15:03	857
	gl-example.acl2	13-Apr-2011 15:12	578
	Makefile	13-Apr-2011 15:12	179
	gl-example.lisp	13-Apr-2011 15:14	2.4K
	log.txt	14-Apr-2011 08:33	37K
	talk.txt	18-Apr-2011 19:15	27K