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