Re: [isabelle] Issue with `Simpl` user guide `Fac` example

On 18.04.2014 03:22, Yannick Duchêne (Hibou57) wrote:
> Also, a question aside: is it mandatory to import `$AFP/Simpl/Simpl`? It
> takes long to load for me, near to ten minutes. Is there an alternative
> sufficient subset?

Just start from the Simpl session image, then you only have to wait once.

   isabelle -d '$AFP' -l Simpl

should do the trick.

  -- Lars

Attachment: signature.asc
Description: OpenPGP digital signature

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