author | clasohm |
Fri, 03 Mar 1995 12:04:45 +0100 | |
changeset 925 | 15539deb6863 |
child 1025 | 23190112d369 |
permissions | -rw-r--r-- |
(* Title: CHOL/Integ/ROOT ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1995 University of Cambridge The Integers in CHOL (ported from ZF by Riccardo Mattolini) *) CHOL_build_completed; (*Cause examples to fail if CHOL did*) loadpath := ["Integ"]; time_use_thy "Integ" handle _ => exit 1;