[isabelle-dev] jedit
Tobias Nipkow
nipkow at in.tum.de
Tue May 15 08:18:30 CEST 2012
Previous message (by thread):
[isabelle-dev] jEdit
Next message (by thread):
[isabelle-dev] jedit
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
How can I see the possible cases in an induction, i.e. Show me cases in PG? Tobias
Previous message (by thread):
[isabelle-dev] jEdit
Next message (by thread):
[isabelle-dev] jedit
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list