added first-order TPTP version of Nitpick to Isabelle, so that its sources stay in sync with Isabelle and it is easier to install new versions for SystemOnTPTP and CASC -- the tool is called "isabelle nitrox" but is deliberately omitted from the tool list unless the component is explicitly enabled, to avoid clutter
/***************************************************************************
Title: GraphBrowser/Box.java
Author: Gerwin Klein, TU Muenchen
A box with width and height. Used instead of java.awt.Dimension for
batch mode.
***************************************************************************/
package GraphBrowser;
public class Box {
public int width;
public int height;
public Box(int w, int h) {
this.width = w;
this.height = h;
}
}