|
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
[Prev in Thread] | Current Thread | [Next in Thread] |