[isabelle-dev] Orphaned theory in AFP

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Fri Oct 25 21:32:18 CEST 2013

Previous message (by thread): [isabelle-dev] Problem "exception TYPE raised: Loose bound variable"
Next message (by thread): [isabelle-dev] Orphaned theory in AFP
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

(69ff07418cc2) Free-Groups/NielsenSchreier.thy

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Previous message (by thread): [isabelle-dev] Problem "exception TYPE raised: Loose bound variable"
Next message (by thread): [isabelle-dev] Orphaned theory in AFP
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list