isarmathlib-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Isarmathlib-devel] FinSupp_ZF.thy


From: Slawomir Kolodynski
Subject: Re: [Isarmathlib-devel] FinSupp_ZF.thy
Date: Fri, 4 Jul 2008 05:26:46 -0700 (PDT)

> FinSupp_ZF.thy is missing in the repository.
> 
> -- 
> Seo Sanghyeon

Fixed. Thanks



      




reply via email to

[Prev in Thread] Current Thread [Next in Thread]