author | nipkow |
Mon, 10 Apr 1995 08:47:43 +0200 | |
changeset 1025 | 23190112d369 |
parent 925 | 15539deb6863 |
child 1165 | 97b2bb5d43c3 |
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";