3 Commits (master)

Author	SHA1	Message	Date
John Benediktsson	ab81a957c9	logic.examples: cleanup, make hanoi tests assert output.	2020-03-03 08:09:52 -08:00
kusumotonorio	14ac76fc2c	factlog vocab ==> logic vocab	2020-03-03 15:59:07 +00:00
kusumotonorio	a37cb9857a	Rename directory, files.	2020-03-03 15:59:07 +00:00