Admin/E/README

- Explicitely passed pred_subset_eq and pred_equals_eq as an argument to the
to_set and to_pred attributes, because it is no longer applied automatically
- Manually applied predicate1I in proof of accp_subset, because it is no longer
part of the claset
- Replaced psubset_def by less_le

This distribution of E 0.999 has been compiled according to the README
included in the official version from
http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html

  $ tar xvzf E.tgz
  $ cd E
  $ make install
  $ make install-exec

The resulting eproof executable has been changed to be relocatable:

  $ diff eproof-orig eproof
  1c1
  < #!/bin/bash -f
  ---
  > #!/usr/bin/env bash
  3c3,4
  < EXECPATH=~/bin
  ---
  > set -o noglob
  > EXECPATH="$(cd "$(dirname "$0")"; pwd)"

Now all executables are moved to the platform-specific target
directory (e.g. E/x86-linux).


	Makarius
	14-Nov-2007

$Id$