/Bwd.sig/1.5/Thu Dec 28 15:12:41 2000//
/GoalstackPure.sig/1.4/Thu Dec 28 15:12:41 2000//
/GoalstackPure.sml/1.6/Thu Dec 28 15:12:41 2000//
/History.sig/1.2/Thu Dec 28 15:12:41 2000//
/History.sml/1.2/Thu Dec 28 15:12:41 2000//
/goalstackLib.sig/1.4/Thu Dec 28 15:12:41 2000//
/goalstackLib.sml/1.3/Thu Dec 28 15:12:41 2000//
/Bwd.sml/1.11/Sun Apr 29 14:35:10 2001//
D
