Ramana,
You are far too young to be having senior moments and (if memory serves)
you don’t drink, but you might have been thinking about this thread on the
ProofPower mailing list:
http://lemma-one.com/pipermail/proofpower_lemma-one.com/2012-March/000780.html
Regards,
Rob
On 9 Apr 2015, at 16:30, Ramana Kumar <[email protected]> wrote:
> I remember once hearing about some checks that can be done on theorems when
> they are saved, such as ensuring that quantified variables actually occur.
> Does anyone know where the code for these checks can be found (presuming they
> exist) and how to turn them on?
> ------------------------------------------------------------------------------
> BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
> Develop your own process in accordance with the BPMN 2 standard
> Learn Process modeling best practices with Bonita BPM through live exercises
> http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
> source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF_______________________________________________
> hol-info mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/hol-info
------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
