Index of /~bailitis/bachelor/Coq_fol

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[TXT]toc.html 2024-08-19 02:01 3.2K 
[DIR]resources/ 2024-08-19 02:01 -  
[TXT]indexpage.html 2024-08-19 02:01 831K 
[ ]coqdocjs.js 2024-08-19 02:01 5.9K 
[TXT]coqdocjs.css 2024-08-19 02:01 3.1K 
[TXT]coqdoc.css 2024-08-19 02:01 3.0K 
[ ]config.js 2024-08-19 02:01 1.2K 
[TXT]FOL.Utils.PrenexNorm..>2024-08-19 02:01 232K 
[TXT]FOL.Utils.MPFacts.html 2024-08-19 02:01 43K 
[TXT]FOL.Theories.html 2024-08-19 02:01 1.5K 
[TXT]FOL.Tennenbaum.Varia..>2024-08-19 02:01 131K 
[TXT]FOL.Tennenbaum.Tenne..>2024-08-19 02:01 149K 
[TXT]FOL.Tennenbaum.Tenne..>2024-08-19 02:01 98K 
[TXT]FOL.Tennenbaum.Synth..>2024-08-19 02:01 129K 
[TXT]FOL.Tennenbaum.Peano..>2024-08-19 02:01 464K 
[TXT]FOL.Tennenbaum.Numbe..>2024-08-19 02:01 170K 
[TXT]FOL.Tennenbaum.MoreD..>2024-08-19 02:01 52K 
[TXT]FOL.Tennenbaum.HA_in..>2024-08-19 02:01 88K 
[TXT]FOL.Tennenbaum.Formu..>2024-08-19 02:01 27K 
[TXT]FOL.Tennenbaum.DN_Ut..>2024-08-19 02:01 15K 
[TXT]FOL.Tennenbaum.Codin..>2024-08-19 02:01 213K 
[TXT]FOL.Tennenbaum.Churc..>2024-08-19 02:01 63K 
[TXT]FOL.Tennenbaum.Canto..>2024-08-19 02:01 39K 
[TXT]FOL.Tennenbaum.Abstr..>2024-08-19 02:01 30K 
[TXT]FOL.Sets.html 2024-08-19 02:01 2.1K 
[TXT]FOL.Semantics.Heytin..>2024-08-19 02:01 60K 
[TXT]FOL.Semantics.Heytin..>2024-08-19 02:01 118K 
[TXT]FOL.Reification.Gene..>2024-08-19 02:01 666K 
[TXT]FOL.Reification.Demo..>2024-08-19 02:01 84K 
[TXT]FOL.Reification.Demo..>2024-08-19 02:01 88K 
[TXT]FOL.Proofmode.Theori..>2024-08-19 02:01 113K 
[TXT]FOL.Proofmode.String..>2024-08-19 02:01 5.3K 
[TXT]FOL.Proofmode.ProofM..>2024-08-19 02:01 668K 
[TXT]FOL.Proofmode.Hoas.html2024-08-19 02:01 32K 
[TXT]FOL.Proofmode.DemoZF..>2024-08-19 02:01 60K 
[TXT]FOL.Proofmode.DemoPA..>2024-08-19 02:01 115K 
[TXT]FOL.Proofmode.DemoMi..>2024-08-19 02:01 51K 
[TXT]FOL.Incompleteness.w..>2024-08-19 02:01 104K 
[TXT]FOL.Incompleteness.u..>2024-08-19 02:01 84K 
[TXT]FOL.Incompleteness.s..>2024-08-19 02:01 96K 
[TXT]FOL.Incompleteness.q..>2024-08-19 02:01 203K 
[TXT]FOL.Incompleteness.f..>2024-08-19 02:01 36K 
[TXT]FOL.Incompleteness.f..>2024-08-19 02:01 37K 
[TXT]FOL.Incompleteness.f..>2024-08-19 02:01 59K 
[TXT]FOL.Incompleteness.e..>2024-08-19 02:01 99K 
[TXT]FOL.Incompleteness.e..>2024-08-19 02:01 63K 
[TXT]FOL.Incompleteness.c..>2024-08-19 02:01 232K 
[TXT]FOL.Incompleteness.b..>2024-08-19 02:01 37K 
[TXT]FOL.Incompleteness.a..>2024-08-19 02:01 51K 
[TXT]FOL.Incompleteness.P..>2024-08-19 02:01 65K 
[TXT]FOL.Incompleteness.A..>2024-08-19 02:01 231K 
[TXT]FOL.Incompleteness.A..>2024-08-19 02:01 130K 
[TXT]FOL.FullSyntax.html 2024-08-19 02:01 1.5K 
[TXT]FOL.FragmentSyntax.html2024-08-19 02:01 1.5K 
[TXT]FOL.FiniteSets.html 2024-08-19 02:01 2.0K 
[TXT]FOL.Deduction.FullSe..>2024-08-19 02:01 122K 
[TXT]FOL.Deduction.FullSe..>2024-08-19 02:01 38K 
[TXT]FOL.Deduction.Fragme..>2024-08-19 02:01 144K 
[TXT]FOL.Deduction.Fragme..>2024-08-19 02:01 27K 
[TXT]FOL.Completeness.Tar..>2024-08-19 02:01 198K 
[TXT]FOL.Completeness.Tar..>2024-08-19 02:01 251K 
[TXT]FOL.Completeness.Kri..>2024-08-19 02:01 217K 
[TXT]FOL.Completeness.Hey..>2024-08-19 02:01 128K 
[TXT]FOL.Completeness.Hey..>2024-08-19 02:01 142K 
[TXT]FOL.Completeness.Enu..>2024-08-19 02:01 47K 
[TXT]FOL.Completeness.Con..>2024-08-19 02:01 35K 
[TXT]FOL.Arithmetics.html 2024-08-19 02:01 1.9K 
[TXT]FOL.ArithmeticalHier..>2024-08-19 02:01 198K 
[TXT]FOL.ArithmeticalHier..>2024-08-19 02:01 456K 
[TXT]FOL.ArithmeticalHier..>2024-08-19 02:01 71K