ACL2S

See acl2-sedan. 
Major Section:  MISCELLANEOUS