[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: theorems-from-file redundant?

Subject: Re: theorems-from-file redundant?
From: Chris Warburton
Date: Wed, 28 Jun 2017 15:36:52 +0100
In-reply-to: <edc49c7d9bcd5d96-0-artemis@nixos>
References: <edc49c7d9bcd5d96-0-artemis@nixos>

Made new theorem-ids value, and use it instead of theorem-files.

References:
- theorems-from-file redundant?
  - From: Chris Warburton

Prev by Date: Re: theorems-from-file redundant?
Next by Date: Re: Rename BENCHMARKS_FALLBACK
Previous by thread: Re: theorems-from-file redundant?
Next by thread: precision-recall-eqs-wrapper file reading
Index(es):
- Date
- Thread