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