Mon, 22 May 2000 16:04:32 +0200 tuned;
wenzelm [Mon, 22 May 2000 16:04:32 +0200] rev 8922
tuned;
Mon, 22 May 2000 16:03:43 +0200 * Pure: changed syntax of local blocks from {{ }} to { };
wenzelm [Mon, 22 May 2000 16:03:43 +0200] rev 8921
* Pure: changed syntax of local blocks from {{ }} to { }; * Pure: syntax of sorts made inner, i.e. have to write "{a, b, c}";
Mon, 22 May 2000 13:29:21 +0200 new Isar version;
wenzelm [Mon, 22 May 2000 13:29:21 +0200] rev 8920
new Isar version;
Mon, 22 May 2000 13:20:47 +0200 tidied and made to work with AddSIs [psubsetI]
paulson [Mon, 22 May 2000 13:20:47 +0200] rev 8919
tidied and made to work with AddSIs [psubsetI]
Mon, 22 May 2000 13:19:20 +0200 further tidying
paulson [Mon, 22 May 2000 13:19:20 +0200] rev 8918
further tidying
Mon, 22 May 2000 12:35:34 +0200 loading the new theory MultisetOrder
paulson [Mon, 22 May 2000 12:35:34 +0200] rev 8917
loading the new theory MultisetOrder
Mon, 22 May 2000 12:35:02 +0200 multisets are partially ordered
paulson [Mon, 22 May 2000 12:35:02 +0200] rev 8916
multisets are partially ordered
Mon, 22 May 2000 12:30:40 +0200 Proving that multisets are partially ordered
paulson [Mon, 22 May 2000 12:30:40 +0200] rev 8915
Proving that multisets are partially ordered New infix syntax for element-hood
Mon, 22 May 2000 12:30:07 +0200 Proving that multisets are partially ordered
paulson [Mon, 22 May 2000 12:30:07 +0200] rev 8914
Proving that multisets are partially ordered New infix syntax for element-hood New theorem size_union
Mon, 22 May 2000 12:29:02 +0200 psubsetI is a safe rule
paulson [Mon, 22 May 2000 12:29:02 +0200] rev 8913
psubsetI is a safe rule
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip