BigErrorsNested.thy « isar « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/isar/BigErrorsNested.thy

blob: 69fa7142ee7ea4c64c382c4462802fd1fd7af91a (plain)

(* See http://proofgeneral.inf.ed.ac.uk/trac/ticket/274 *)

theory BigErrorsNested imports BigErrors 
begin

end