3 Commits (c8afb239a05a8cb09d54d6879346a56f29a45e49)

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