[isabelle-dev] jedit

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Tue May 15 08:39:59 CEST 2012

Previous message (by thread): [isabelle-dev] jedit
Next message (by thread): [isabelle-dev] Deadline for Isabelle2012 release
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am 15.05.2012 um 08:18 schrieb Tobias Nipkow:

> How can I see the possible cases in an induction, i.e. Show me cases in PG?

Via the "print_cases" command.

Jasmin

Previous message (by thread): [isabelle-dev] jedit
Next message (by thread): [isabelle-dev] Deadline for Isabelle2012 release
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list