11 May 2012 11:28trybulec
*real number vs. Element of REAL
14 May 2012 14:14Artur Kornilowicz
**real number vs. Element of REAL
25 Apr 2012 16:01Cezary Kaliszyk
*UITP'12: Final Call for Papers
16 Apr 2012 20:25Makarius
*Thedu: 2nd Call for papers
30 Mar 2012 19:34Josef Urban
*Fwd: CASC-J6 - the CADE ATP System Competition
29 Mar 2012 18:34m.kohlhase
*CfP: Math Information Retrieval Worksohp 14. July 2012
20 Mar 2012 11:30Jesse Alama
*mizar parsing/text transformation service
20 Mar 2012 03:20Josef Urban
*tooltips
16 Mar 2012 13:39Jesse Alama
*Lm9 of xcmplx_1
18 Mar 2012 16:52trybulec
**Lm9 of xcmplx_1
18 Mar 2012 20:35Jesse Alama
***Lm9 of xcmplx_1
18 Mar 2012 21:23Adam Naumowicz
****Lm9 of xcmplx_1
18 Mar 2012 21:33Jesse Alama
*****Lm9 of xcmplx_1
15 Mar 2012 21:47Josef Urban
*vernacular
12 Mar 2012 12:59trybulec
*Urelements?
12 Mar 2012 16:09Josef Urban
**Urelements?
12 Mar 2012 18:21trybulec
***Urelements?
12 Mar 2012 18:45trybulec
***Urelements?
12 Mar 2012 18:46Jesse Alama
***Urelements?
12 Mar 2012 19:14Jesse Alama
****Urelements?
12 Mar 2012 19:28Josef Urban
*****Urelements?
12 Mar 2012 20:48trybulec
****Urelements?
12 Mar 2012 19:58trybulec
**Urelements?
12 Mar 2012 21:56Josef Urban
***Urelements?
12 Mar 2012 12:48trybulec
*Fwd: [dev-forum] Re: Urelements?
11 Mar 2012 18:21trybulec
*Urelements?
12 Mar 2012 01:40Jesse Alama
**Urelements?
12 Mar 2012 19:22trybulec
***Urelements?
13 Mar 2012 12:34trybulec
***Urelements?
13 Mar 2012 17:26Josef Urban
****Urelements?
13 Mar 2012 22:40trybulec
*****Urelements?
14 Mar 2012 10:34Josef Urban
******Urelements?
14 Mar 2012 12:11trybulec
*******Urelements?
14 Mar 2012 14:45Josef Urban
********Urelements?
14 Mar 2012 16:19trybulec
*********Urelements?
14 Mar 2012 18:48Josef Urban
**********Urelements?
12 Mar 2012 10:42Josef Urban
**Urelements?
11 Mar 2012 10:35trybulec
*How to call it?
11 Mar 2012 13:06Josef Urban
**How to call it?
12 Mar 2012 00:39Jesse Alama
***How to call it?
12 Mar 2012 15:39Josef Urban
****How to call it?
12 Mar 2012 17:43Jesse Alama
*****How to call it?
12 Mar 2012 13:16Makarius
**How to call it?
12 Mar 2012 17:38trybulec
**How to call it?
27 Feb 2012 17:20Josef Urban
*lstlangmizar.sty
27 Feb 2012 14:20Makarius
*Call for papers: THedu'12
24 Feb 2012 23:09Hugo Herbelin
*ETAPS Workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012)
22 Feb 2012 09:13Adam Grabowski
*New Mizar articles
16 Mar 2012 11:11Josef Urban
**New Mizar articles
22 Feb 2012 06:34Adam Naumowicz
*CICM 2012 -- last call for papers (fwd)
21 Feb 2012 19:13Josef Urban
*FW: overlijden Dick de Bruijn
2 Feb 2012 20:07Cezary Kaliszyk
*UITP'12: First Call for Papers
25 Jan 2012 17:05Hugo Herbelin
*2nd announcement: workshop on Automation in Proof Assistants (31 Mar -
25 Jan 2012 15:56Artur Kornilowicz
*reductions in Mizar
25 Jan 2012 17:40Josef Urban
**reductions in Mizar
25 Jan 2012 19:23trybulec
***reductions in Mizar
31 Jan 2012 22:46Artur Kornilowicz
****reductions in Mizar
31 Jan 2012 23:08Josef Urban
*****reductions in Mizar
25 Jan 2012 22:00Freek Wiedijk
***reductions in Mizar
25 Jan 2012 23:08trybulec
****reductions in Mizar
25 Jan 2012 23:24Freek Wiedijk
*****reductions in Mizar
26 Jan 2012 08:50Jesse Alama
******reductions in Mizar
26 Jan 2012 11:27Freek Wiedijk
*******reductions in Mizar
26 Jan 2012 11:55Josef Urban
********reductions in Mizar
26 Jan 2012 12:07Freek Wiedijk
*********reductions in Mizar
26 Jan 2012 13:09Josef Urban
**********reductions in Mizar
18 Dec 2011 19:37mnf72
*MML Query and cscope
17 Jan 2012 17:48Grzegorz Bancerek
**MML Query and cscope
25 Dec 2011 16:14Minqi Pan
*Invitation to connect on LinkedIn
23 Dec 2011 15:33Hugo Herbelin
*Announcement: workshop on Automation in Proof Assistants (31 Mar - 1 A
23 Dec 2011 13:52Roman Matuszewski
*2011 - Mizar Prize for Young Researchers
6 Oct 2011 08:49Boris Schminke
*Error No 9
5 Oct 2011 07:45psvr
*What does this 'attr c1 is strict' convention mean?
5 Oct 2011 09:46Adam Naumowicz
**What does this 'attr c1 is strict' convention mean?
1 Oct 2011 02:14Jesse Alama
*proof objects for mizar: already available?
1 Oct 2011 11:26Josef Urban
**proof objects for mizar: already available?
9 Oct 2011 08:35Jesse Alama
***proof objects for mizar: already available?
9 Oct 2011 13:56Josef Urban
****proof objects for mizar: already available?
9 Oct 2011 17:38Jesse Alama
*****proof objects for mizar: already available?
9 Oct 2011 19:03Josef Urban
******proof objects for mizar: already available?
28 Sep 2011 08:59Adam Grabowski
*New Mizar articles
12 Sep 2011 09:37Boris Schminke
*Some bugs (or features)
13 Sep 2011 08:41Adam Grabowski
**Some bugs (or features)
13 Sep 2011 09:28Josef Urban
**Some bugs (or features)
31 Aug 2011 09:20psvr
*Where to find "MML Query" documentation and source code?
1 Sep 2011 07:12Boris Schminke
**Where to find "MML Query" documentation and source code?
4 Sep 2011 22:42Jesse Alama
***Where to find "MML Query" documentation and source code?
5 Sep 2011 07:16Boris Schminke
****Where to find "MML Query" documentation and source code?
5 Sep 2011 11:58P.S.V.R
***Where to find "MML Query" documentation and source code?
25 Aug 2011 19:57Jesse Alama
*mode definition/"the" question
26 Aug 2011 15:46Artur Kornilowicz
**mode definition/"the" question
26 Aug 2011 16:51Adam Naumowicz
***mode definition/"the" question
26 Aug 2011 22:19Jesse Alama
****mode definition/"the" question
22 Aug 2011 14:26Boris Schminke
*Mizar Proof Advisor
25 Aug 2011 09:10Boris Schminke
**Mizar Proof Advisor
25 Aug 2011 09:36Josef Urban
***Mizar Proof Advisor
25 Aug 2011 09:53Boris Schminke
****Mizar Proof Advisor
25 Aug 2011 10:01Boris Schminke
****Mizar Proof Advisor
25 Aug 2011 10:12Josef Urban
*****Mizar Proof Advisor
25 Aug 2011 10:16Boris Schminke
******Mizar Proof Advisor