1997-02-21 | paulson | More robust proof (?) | changeset | files |
1997-02-21 | paulson | Replaced "flat" by the Basis Library function List.concat | changeset | files |
1997-02-21 | paulson | Introduction of rotate_rule | changeset | files |
1997-02-21 | wenzelm | removed empty line (which broke xfedor); | changeset | files |
1997-02-21 | wenzelm | don't hack, use xfed or xfedor; | changeset | files |
1997-02-21 | wenzelm | fixed Id comment; | changeset | files |
1997-02-20 | wenzelm | makedist -- make Isabelle distribution. | changeset | files |
1997-02-20 | wenzelm | tuned URL; | changeset | files |
1997-02-20 | wenzelm | added index info; | changeset | files |
1997-02-20 | wenzelm | index info; | changeset | files |
1997-02-20 | wenzelm | added dist; | changeset | files |
1997-02-20 | wenzelm | some administrative tools for the Isabelle; | changeset | files |
1997-02-20 | wenzelm | made a bit more robust for 'make dist'; | changeset | files |
1997-02-20 | wenzelm | rail output; | changeset | files |
Loading... |