1.1 --- a/README.md	Mon Apr 19 18:04:48 2021 +0200
     1.2 +++ b/README.md	Mon Apr 19 18:05:01 2021 +0200
     1.3 @@ -38,8 +38,12 @@
     1.4      isabisac/bin/isabelle jedit -R Interpret
     1.5      isabisac/bin/isabelle jedit -R Isac
     1.6  
     1.7 +    isabisac/bin/isabelle jedit -l HOL isa/src/Tools/isac/Build_Isac.thy
     1.8 +
     1.9  * Test:
    1.10  
    1.11      isabisac/bin/isabelle build -D '$ISABELLE_ISAC_TEST'
    1.12  
    1.13      isabisac/bin/isabelle jedit -R Isac_Test
    1.14 +
    1.15 +    isabisac/bin/isabelle jedit -l Isac_Test_Base isa/test/Tools/isac/Test_Isac_Short.thy