William J. Bowman e54c7e5bb5 Added query-type command to sugar		2015-09-25 20:08:07 -04:00
..
sugar.scrbl	Added query-type command to sugar	2015-09-25 20:08:07 -04:00
tactics.scrbl	Added a few examples to tactic docs	2015-09-23 16:40:23 -04:00