// (c) MIT 2003.  All rights reserved.

// -*-Mode: Java-*- 
// $Id: FactFetcher.java,v 1.2 2003/03/06 00:40:39 moltmans Exp $
// FactFetcher.java -- 
// Author: Michael Oltmans <moltmans@ai.mit.edu> 
// Created: <Tue May 16 22:11:21 2000> 
// Time-stamp: <2000-05-16 22:13:59 moltmans> 
package rec.tms;

import java.util.*;

public interface FactFetcher 
{
  public Collection fetchFacts( JTRE jtre );
}
