[isabelle-dev] Nonstandard Analysis

Makarius makarius at sketis.net
Fri Feb 26 14:42:53 CET 2016

Previous message (by thread): [isabelle-dev] Nonstandard Analysis
Next message (by thread): [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Fri, 26 Feb 2016, Lawrence Paulson wrote:

> Or maybe HOL-GCHQ? :-)

HOL-Gestapo?


 	Makarius

Previous message (by thread): [isabelle-dev] Nonstandard Analysis
Next message (by thread): [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list