books - acl2 - Debian dgit repo for package acl2

Mode	Name	Size
-rw-r--r--	.gitignore	461	log plain
-rw-r--r--	GNUmakefile	65220	log plain
-rw-r--r--	GPL2	17976	log plain
-rw-r--r--	LICENSE	190	log plain
-rw-r--r--	Makefile	2008	log plain
-rw-r--r--	Makefile-generic	25798	log plain
-rw-r--r--	Makefile-psubdirs	3471	log plain
-rw-r--r--	Makefile-subdirs	3509	log plain
-rw-r--r--	README.md	4206	log plain
-rw-r--r--	Readme.html	13100	log plain
d---------	acl2s	594	log plain
d---------	add-ons	122	log plain
d---------	arithmetic-2	168	log plain
d---------	arithmetic-3	241	log plain
d---------	arithmetic-5	169	log plain
d---------	arithmetic	731	log plain
d---------	bdd	563	log plain
d---------	build	890	log plain
d---------	centaur	1008	log plain
d---------	clause-processors	2263	log plain
d---------	coi	823	log plain
d---------	cowles	354	log plain
d---------	data-structures	1342	log plain
d---------	defexec	258	log plain
d---------	defsort	293	log plain
d---------	demos	1005	log plain
d---------	doc	356	log plain
d---------	finite-set-theory	167	log plain
d---------	hacking	1494	log plain
d---------	hints	515	log plain
d---------	ihs	678	log plain
d---------	interface	98	log plain
d---------	kestrel	174	log plain
d---------	make-event	2977	log plain
d---------	meta	405	log plain
d---------	misc	4921	log plain
d---------	models	60	log plain
d---------	nonstd	243	log plain
d---------	ordinals	983	log plain
d---------	oslib	1789	log plain
d---------	parsers / earley	33	log plain
d---------	powerlists	485	log plain
d---------	projects	1204	log plain
d---------	proof-builder	39	log plain
d---------	proofstyles	190	log plain
d---------	rtl	164	log plain
d---------	sorting	688	log plain
d---------	std	602	log plain
d---------	system	2042	log plain
d---------	tau / bounders	35	log plain
d---------	textbook	298	log plain
d---------	tools	3879	log plain
d---------	unicode	424	log plain
d---------	workshops	403	log plain
d---------	xdoc	1941	log plain