|
From: Ramana K. <ra...@me...> - 2012-12-31 07:41:58
|
(HOL Light is free software. Feel free to fork it or to send patches. https://code.google.com/p/hol-light/) On Mon, Dec 31, 2012 at 12:14 PM, Phil Scott <phi...@ed...> wrote: > When a theorem is proven and HOL Light announces "no subgoals", there is > no jingle. or musical fanfare. Please fix. > > -- > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. > > > > ------------------------------------------------------------------------------ > Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, > MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current > with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft > MVPs and experts. SALE $99.99 this month only -- learn more at: > http://p.sf.net/sfu/learnmore_122412 > _______________________________________________ > hol-info mailing list > hol...@li... > https://lists.sourceforge.net/lists/listinfo/hol-info > |