Current Data About
Isabelle file format
(P31) |
(Q235557)
|
||||
(P1163) |
text/x-isabelle
|
||||
(P1195) |
thy
|
other details
aliases |
Isabelle theory file |
description | file format |