Re: [isabelle] Extracting assumptions from an Isar proof

Dear Michael,

Does anyone know if there's a parser for Isar proofs? In particular, are there existing ways for extracting the assumptions used in a particular proof given a .thy file?

I'm not sure I totally understand what you want to do. By assumptions, do you mean the theorems used in the proof?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.