package gprover;

import java.util.Vector;

/**
 * Created by IntelliJ IDEA.
 * User: Ye
 * Date: 2006-2-24
 * Time: 15:50:06
 * To change this template use File | Settings | File Templates.
 */
public class proveNode
{
    int type;
    int id;
    int []p;
    int no;
    Vector vlist;
    cond cd;
    proveNode nx;
    
}
