[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Normalise theorems to use constructor/destructor functions
- Subject: Re: Normalise theorems to use constructor/destructor functions
- From: Chris Warburton
- Date: Wed, 21 Feb 2018 06:31:17 +0000
- In-reply-to: <d825dc4dd3a1970f-0-artemis@nixos>
- References: <d825dc4dd3a1970f-0-artemis@nixos>
We only use names which appear in theorems, and theorems now use
constructor/destructor functions instead of constructors/destructors