The home page for bpc/auto_law/ has been moved to:

http://home.pcisys.net/~bpc/auto_law/.