[isabelle-dev] time specifications

Jasmin Blanchette jasmin.blanchette at gmail.com
Tue Nov 2 17:31:38 CET 2010


Am 02.11.2010 um 17:30 schrieb Makarius:

> Now (e.g. in version c753e3f8b4d6) you can use Parse.real to get the result of the user using either integer or float notation.  The Attrib.config_real also does that internally.

Great. Then I'm totally sold. :)

Jasmin




More information about the isabelle-dev mailing list